26 Jan
2013
26 Jan
'13
9:11 p.m.
On Fri, Jan 25, 2013 at 7:19 AM, 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
This is exactly the syntax jhc uses for user defined kinds. John