<@U7D8F4NG6> In 0.9.0 it would look like the snipp...
# arrow
r
@daneko In 0.9.0 it would look like the snippet below. Note I made some refactoring to what I considered unnecessary types in the code. In 0.9.1 this is going to be even easier since we are gona have Bifunctor and Trifunctor IOs which means you can encode a parametric custom error and dependency injection over IO