haskell phantom-types type-synonyms. data D a b = MkD a. b is called a 'phantom type', because it doesn't appear on RHS of = .
確定! 回上一頁