data kinds

[Erik Hesselink]

>
> When we discussed this last time (summarized by the link Pedro sent, I
> think) it came up that it might be nice to also
> have kind synonyms, which would be analogous to type synonyms, but one
> level up.   The "natural" syntax for that would be to have a "type kind"
> declaration, but this seems a bit confusing...
>

 What about just 'kind'? It's symmetric with 'type'.

Erik
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/glasgow-haskell-users/attachments/20130127/7b44cca9/attachment.htm>