If you have nested data types like yours `Either&l...
# arrow
s
If you have nested data types like yours
Either<E, Option<A>>
you can use "monad transformers" to ease working with them.