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