On Mon, Feb 20, 2006 at 12:16:14PM -0000, Claus Reinke wrote: > okay then, on to bugs:-) Here's a simpler example of this problem: class C a b | a -> b instance C a b => C (a,Int) (b,Int) instance C a b => C (a,c) (b,c)