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 this? -- Best regards, Bulat mailto:bulatz@HotPOP.com