I wonder if there is a family of combinators here that is more around "validation". It seems like the purpose of this combinator is really to collect all the potential error in a computation rather than failing fast, similar to the Validation data types in functional programming libraries and the existing ZIO.validate methods. The relationship between this and ZIO.validate is really analogous to the relationship between zip and foreach.

Maybe we call these validateWith and validateWithPar?

@adamgfraser updated