Improve error messages around kind mismatches.
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail135.hs
1 -- A missing kind check made GHC 6.4 crash on this one
2
3 module ShouldFail where
4
5 class Foo f where
6 baa :: f a -> f
7
8 instance Foo Maybe where
9 baa z = z