Re: Specifying Kinds of Types

8 Feb 2002


      ...
data CMap0 (p ::: * -> *) (q ::: * -> *) = MkCMap0;
Or
    data (CMap0 :: (* -> *) -> (* -> *) -> *) = MkCMap0

	-- Lennart

Lennart Augustsson