See http://hackage.haskell.org/trac/ghc/wiki/GhcKinds/KindsWithoutData
Cheers, Pedro On Fri, Jan 25, 2013 at 3:19 PM, Ross Paterson <r...@soi.city.ac.uk> wrote: > 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 >
_______________________________________________ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
