I guess the same style could be used to define `Va...

# arrow

[CLOVIS]

I guess the same style could be used to define Validated<E, A> as Union2<Success<A>, Collection<E>>

[CLOVIS]

But, again, I don't know if that's a good idea or not.