1 
data D a b = MkD a

b被称为“幻影类型”，因为它不会出现在=. 这对于数据的类型级标记很有用。

type T a b = Maybe a

（GHC 不抱怨，即使有:set -Wall。）b是什么？它有什么用处？

我觉得 GHC 应该警告我b没有在 RHS 上使用。

4

0 回答 0