Specifying Kinds of Types

[Lennart Augustsson]

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

	-- Lennart