Take account of injectivity when doing fundeps
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail073.hs
1 -- what error do you get if you redefined Prelude instances?
2
3 module ShouldFail where
4
5 f :: (Eq a) => (a,a) -> (a,a) -> Bool
6 f x y = x == y
7
8 instance Eq a => Eq (a,b) where
9 (m,n) == (o,p) = m == o
10