1 2 3 4 5 6 7
module ShouldFail where class A a where op1 :: a -> a instance A (a,(b,c)) where op1 a = a