Take account of injectivity when doing fundeps
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail002.hs
1 module ShouldFail where
2
3 c (x:y) = x
4 c z = z