
tcfail158.hs:14:19:
    Expecting one more argument to `Val v'
    In the type signature for `bar': bar :: forall v. Val v
