path: root/testsuite/tests/ghc-regress/typecheck/should_fail/tcfail158.stderr

tcfail158.hs:14:19:
    `Val v' is not applied to enough type arguments
    Expected kind `*', but `Val v' has kind `* -> *'
    In the type signature for `bar':
      bar :: forall v. Val v