Validated.applicative().tupled
# arrow
p
Validated.applicative().tupled