Improve error messages around kind mismatches.
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail017.stderr
1
2 tcfail017.hs:10:10:
3     Could not deduce (C [a])
4       arising from the superclasses of an instance declaration
5     from the context: B a
6       bound by the instance declaration at tcfail017.hs:10:10-23
7     In the instance declaration for ‘B [a]’