Improve error messages around kind mismatches.
[ghc.git] / testsuite / tests / typecheck / should_fail / Tcfail186_Help.hs
1 module Tcfail186_Help where
2
3 type PhantomSyn a = Int
4
5 f = (\_ -> 2) :: PhantomSyn a -> Int