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 <[email protected]> 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 > [email protected] > http://www.haskell.org/mailman/listinfo/glasgow-haskell-users > >
_______________________________________________ Glasgow-haskell-users mailing list [email protected] http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
