1 2 3 4 5 6 7 8 9 10 11
module ShouldSucceed where class Eq1 a where deq :: a -> a -> Bool instance (Eq1 a) => Eq1 [a] where deq (a:as) (b:bs) = deq a b instance Eq1 Int where deq x y = True