类型定义中的参数类型

Question

我有这样的数据类型：

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

然后我有一个类型：

type SomethingElse = MyType a b -> AnotherThing

但是，如果我为它所抱怨的类型定义包含a和b参数，但是如果我将它们遗漏，它也会抱怨。

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

Answer 1

只要您没有为a和b提供具体类型，您就需要对类型同义词进行参数化。

type SomethingElse a b = MyType a b -> AnotherThing