> data CMap0 (p ::: * -> *) (q ::: * -> *) = MkCMap0; Or data (CMap0 :: (* -> *) -> (* -> *) -> *) = MkCMap0
-- Lennart _______________________________________________ Haskell mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell