See http://hackage.haskell.org/trac/ghc/wiki/GhcKinds/KindsWithoutData
Cheers,
Pedro
On Fri, Jan 25, 2013 at 3:19 PM, Ross Paterson
GHC implements data kinds by promoting data declarations of a certain restricted form, but I wonder if it would be better to have a special syntax for kind definitions, say
data kind Nat = Zero | Succ Nat
At the moment, things get promoted whether you need them or not, and if you've made some mistake that makes your definition non-promotable you don't find out until you try to use it.
More importantly, a separate form for kinds would allow one to use existing kinds, i.e. *, in definitions of new kinds.
_______________________________________________ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users