<@U87JKQK7A> that works if you don't care about `E...

# arrow

[raulraja]

@Daniel Selinger that works if you don't care about E. Alternatively you can flip nested type constructors if they provide an Applicative instance with traverse or sequence. In this case the solution below is in my opinion a better fit because you are not forced to use Option and consequently loosing error information by coallescing E into `None`: