data kinds

Erik Hesselink hesselink at
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...
URL: <>

More information about the Glasgow-haskell-users mailing list