Define TyCoRep.ppSuggestExplicitKinds, and use it
[ghc.git] / testsuite / tests / typecheck / should_fail / T11356.stderr
1
2 T11356.hs:3:7: error:
3     • Expecting one fewer argument to ‘T p’
4       Expected kind ‘k0 -> Constraint’, but ‘T p’ has kind ‘Constraint’
5     • In the class declaration for ‘C’