haskell - 类型定义中的参数类型

Question

我有一个像这样的数据类型：

data MyType a b = Something a b | ..... 

然后我有一个类型：

type SomethingElse = MyType a b -> AnotherThing

但是，如果我在类型定义中包含 a 和 b 参数，它会抱怨，但如果我将它们排除在外，它也会抱怨。

错误消息（在类型定义中）是变量 a 和 b 不在范围内。

Answer 1

只要您没有为aand提供具体类型b，您还需要将您的类型同义词参数化。

type SomethingElse a b = MyType a b -> AnotherThing