Haskell自定義數據類型表達式

Question

如果我具有以下自定義數據類型：

data MyType :: * -> *  where
Zero:: MyType a
One:: a -> MyType a
Two:: MyType a -> MyType b -> MyType (a,b)

與編寫它們是否一樣：

 data MyType a = Zero
             | One a

以上正確嗎？ 我怎么代表兩個？

Answer 1

這必須通過GADT完成。 訣竅是在程序中啟用KindSignature。