Haskellでtype aliasを宣言する type について

型シノニムとも言う

type aliasを宣言する

既存の型に別名を付ける

新しい型を作っているわけではない

コンパイラにはなんの新情報も与えない

型注釈ではどちらを使っても全く同じものとして評価される

Haskellのnewtypeと同じく実行時のパフォーマンスコストはない

例

再帰的定義はできない

instance 宣言に対して使えない

type Age = Int に対して、

instance C Age のように定義できない

参考