Tom Schrijvers:
could you please help me to clear up this confusion?-)
Let me summarize :-)
The current design for type functions with result kinds other than *
(e.g. * -> *) has not gotten very far yet. We are currently
stabilizing the ordinary * type functions, and writing the story up.
When that's done we can properly focus on this issue and consider
different design choices.
I don't quite agree. The current story was pretty much settled in the
paper on associated type synonyms already and further clarified in the
FC paper.
Manuel
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe