If they are not dependent on order of evaluation y...
# arrow
r
If they are not dependent on order of evaluation you would use Applicative tupled or mapN which are the combinators for independent ops. It would still short-circuit if it finds a Left. Also you can generalize map and fold on a utility operation for all Eithers or even kinds