參數類型

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