ekmett at gmail.com
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 gmail.com> 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'.
> Glasgow-haskell-users mailing list
> Glasgow-haskell-users at haskell.org
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Glasgow-haskell-users