data Maybe a = Just a | Nothing data Either a b = Left a | Right b data Rec f = In (f (Rec f))
*MyModule> :k Maybe Maybe :: * -> * *MyModule> :k Either Either :: * -> * -> * *MyModule> :k Rec Rec :: (* -> *) -> *
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
no subject
Date: 2008-01-16 10:02 pm (UTC)Имеем:
kind'ом обладают конструкторы типов.