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