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 <hessel...@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'. > > Erik > > _______________________________________________ > Glasgow-haskell-users mailing list > Glasgow-haskell-users@haskell.org > http://www.haskell.org/mailman/listinfo/glasgow-haskell-users > >
_______________________________________________ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
