<@U7QUW41HP> what you need is `Semigroup&lt;Valida...
# arrow
s
@noncom what you need is
Semigroup<Validated<A, B>>
but it seems that is not yet defined.