Fundeps work even for unary type classes
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail061.hs
1 -- !! signature bugs exposed by Sigbjorn Finne
2 --
3 module ShouldFail where
4
5 type Flarp a = (b,b)
6
7 --More fun can be had if we change the signature slightly
8
9 type Bob a = a
10
11 type Flarp2 a = Bob (b,b)