> > 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