I can't show an example now but <@U0B8UEMV1> solut...

# arrow

[raulraja]

I can't show an example now but @pakoito solutions are great. Another alternative to that encoding is using OptionT if you frequently have Option<Either<L, R>> or EitherT if you have Either<L, Option<R>>