- 6 名前：デフォルトの名無しさん mailto:sage [2013/01/21(月) 14:48:42.62 ]
- >>5
data Fix f =Fix (f (Fix f))
とすると、値コンストラクタFixは、ひとつの f (Fix f) 型の引数をとる
Fixはkindが (*->*)->*
fはkindが *ｰ>*
つまり、f自体が何かひとつの型引数をとるということ
fを[]とすれば
Fix::[Fix []] ｰ> Fix []
fをMaybeとすれば
Fix::Maybe (Fix Maybe) -> Fix Maybe
fを(,) a とすれば
Fix::(a, Fix ( (,) a ) ) -> Fix ( (,) a )
