Take account of injectivity when doing fundeps
[ghc.git] / testsuite / tests / typecheck / should_fail / T7645.stderr
1
2 T7645.hs:6:23: error:
3     • Expecting one more argument to ‘Maybe’
4       Expected a type, but ‘Maybe’ has kind ‘* -> *’
5     • In the type signature:
6         f :: ((+) a (a :: *), Maybe)