testsuite/tests/typecheck/should_fail/tcfail158.stderr


1
2
3
4
5


tcfail158.hs:15:19: error: [GHC-83865]
    • Expecting one more argument to ‘Val v’
      Expected a type, but ‘Val v’ has kind ‘* -> *’
    • In the type signature: bar :: forall v. Val v