path: root/testsuite/tests/typecheck/should_fail/tcfail158.stderr

tcfail158.hs:14:19:
    Expecting one more argument to ‛Val v’
    Expected a type, but ‛Val v’ has kind ‛* -> *’
    In the type signature for ‛bar’: bar :: forall v. Val v