[Haskell-cafe] Equality constraints in type families

Manuel M T Chakravarty chak at cse.unsw.edu.au
Tue Mar 25 02:39:14 EDT 2008

Manuel M T Chakravarty:
>> again, i gave a concrete example of how ghc behaves as i would  
>> expect, not as that decomposition rule would suggest.
> Maybe you can explain why you think so.  I didn't understand why you  
> think the example is not following the decomposition rule.

Actually, see



More information about the Haskell-Cafe mailing list