Improve error messages around kind mismatches.
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail213.stderr
1
2 tcfail213.hs:8:1: error:
3     • Illegal constraint ‘F a’ in a superclass context
4         (Use UndecidableInstances to permit this)
5     • In the context: F a
6       While checking the super-classes of class ‘C’
7       In the class declaration for ‘C’