Define TyCoRep.ppSuggestExplicitKinds, and use it
[ghc.git] / testsuite / tests / typecheck / should_fail / T7410.stderr
1
2 T7410.hs:3:9: error:
3     • Expecting one more argument to ‘Either Int’
4       Expected a type, but ‘Either Int’ has kind ‘* -> *’
5     • In the type signature:
6         foo :: (Either Int, Int)