Improve error messages around kind mismatches.
[ghc.git] / testsuite / tests / typecheck / should_fail / T8883.hs
2014-04-19  Jan StolarekValidate inferred theta. Fixes #8883