Fundeps work even for unary type classes
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail155.hs
1 {-# LANGUAGE GADTs #-}
2
3 -- Data type returns the wrong type
4
5 module ShouldFail where
6
7 data T a where
8 P :: L1 -> L2
9
10 data L1 = L1
11 data L2 = L2