On Fri, Jan 25, 2013 at 7:19 AM, 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 > This is exactly the syntax jhc uses for user defined kinds. John
_______________________________________________ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users