Improve error messages around kind mismatches.
[ghc.git] / testsuite / tests / typecheck / should_fail / T8514.hs
1 module T8514 where
2
3 type T a = (a, Maybe)