[Haskell-cafe] Equality constraints in type families
Manuel M T Chakravarty
chak at cse.unsw.edu.au
Mon Mar 24 00:16:28 EDT 2008
>> 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
More information about the Haskell-Cafe