[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.
More information about the Haskell-Cafe