[Haskell-cafe] using of data types as kinds

Bulat Ziganshin bulatz at HotPOP.com
Tue Nov 22 10:40:50 EST 2005

Hello ,

in the HCAR GHC team wrote "On the type system front, we hope to ...
Allow you to use data types as kinds, in a manner similar to Tim
Sheard▓s Omega language". can someone point me where i can read about

Best regards,
 Bulat                          mailto:bulatz at HotPOP.com

More information about the Haskell-Cafe mailing list