[Haskell-cafe] Equality constraints in type families

[Manuel M T Chakravarty]

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