Improve error messages around kind mismatches.
[ghc.git] / testsuite / tests / typecheck / should_fail / T12837.stderr
2017-01-02  sjorn3Disallow users to write instances of KnownNat and KnownSym