& `IO<E, A>` will give you much better f...
# arrow
s
&
IO<E, A>
will give you much better fine grained control over business errors and runtime stuff.