Improve error messages around kind mismatches.
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail135.stderr
1
2 tcfail135.hs:6:23: error:
3     • Expecting one more argument to ‘f’
4       Expected a type, but ‘f’ has kind ‘k0 -> *’
5     • In the type signature:
6         baa :: f a -> f
7       In the class declaration for ‘Foo’