Take account of injectivity when doing fundeps
[ghc.git] / testsuite / tests / typecheck / should_fail / T11563.hs
1 module T11563 where
2
3 data T a = MkT
4 class C t
5 instance C s => C T