I guess it could be possible to define an isomorph...

# arrow

[CLOVIS]

I guess it could be possible to define an isomorphism between Either<E, A> and Union2<Success<A>, Failure<E>> with methods map etc that work on the Success ? Would that be recommended though, or is there a more idiomatic way to benefit from both?