Re: [Haskell-cafe] Equality constraints in type families

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