Improve error messages around kind mismatches.
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail147.hs
1 module Foo1 where
2
3 -- Variant: ill-kinded.
4 class XClass a where
5 xFun :: a -> XData
6
7 data XData = XCon XClass