Improve error messages around kind mismatches.
[ghc.git] / testsuite / tests / typecheck / should_fail / T11563.stderr
1
2 T11563.hs:5:19: error:
3     • Expecting one more argument to ‘T’
4       Expected a type, but ‘T’ has kind ‘* -> *’
5     • In the first argument of ‘C’, namely ‘T’
6       In the instance declaration for ‘C T’