1 2 3 4 5 6 7 8 9 10 11 12 13
module ShouldFail where class C a where op1 :: a -> a class (C a) => B a where op2 :: a -> a -> a instance (B a) => B [a] where op2 xs ys = xs