Improve error messages around kind mismatches.
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail019.hs
1 module ShouldFail where
2
3 class A a where
4 p1 :: a -> a
5 p2 :: a -> a -> a
6
7 class (A b) => B b where
8 p3 :: b
9 p4 :: b -> b
10
11 class (A c) => C c where
12 p5 :: c -> c
13 p6 :: c -> Int
14
15 class (B d,C d) => D d where
16 p7 :: d -> d
17
18 instance D [a] where
19 p7 l = []
20