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
extension.
-Edward
On Sun, Jan 27, 2013 at 3:02 AM, 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
_______________________________________________ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users