testsuite/tests/typecheck/should_fail/T7645.stderr


1
2
3
4
5


T7645.hs:8:26: error: [GHC-83865]
    • Expecting one more argument to ‘Maybe’
      Expected a type, but ‘Maybe’ has kind ‘* -> *’
    • In the type signature: f :: ((+) a (a :: Type), Maybe)