data kinds

Edward Kmett ekmett at
Sun Jan 27 23:28:28 CET 2013

This has the problem that kind is currently a valid function name, so it
would take a new keyword, or at least on conditional on the DataKinds


On Sun, Jan 27, 2013 at 3:02 AM, Erik Hesselink <hesselink at> wrote:

> 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
> _______________________________________________
> Glasgow-haskell-users mailing list
> Glasgow-haskell-users at
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the Glasgow-haskell-users mailing list