Embrace -XTypeInType, add -XStarIsType
[ghc.git] / testsuite / tests / typecheck / should_fail / T7645.stderr
1
2 T7645.hs:8:26: error:
3     • Expecting one more argument to ‘Maybe’
4       Expected a type, but ‘Maybe’ has kind ‘* -> *’
5     • In the type signature: f :: ((+) a (a :: Type), Maybe)