As shown in https://hackage.haskell.org/package/selective-0.7.0.1/docs/Control-Selective.html#t:Validation, this type has a natural Selective instance which is compatible with the Applicative instance and can be used instead of bindValidation in many places. Maybe it would be a good idea to implement this instance here, incurring a new (but lightweight) dependency.
As shown in https://hackage.haskell.org/package/selective-0.7.0.1/docs/Control-Selective.html#t:Validation, this type has a natural
Selectiveinstance which is compatible with theApplicativeinstance and can be used instead ofbindValidationin many places. Maybe it would be a good idea to implement this instance here, incurring a new (but lightweight) dependency.