hesselink at gmail.com
Sun Jan 27 09:02:44 CET 2013
> 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'.
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Glasgow-haskell-users