what would be the simplest steps to not having to ...

# arrow

[isto]

what would be the simplest steps to not having to use throwable? MonadDefer of IO is typed to using throwable so I guess I would need a IO-like instances for MonadDefer/MonadError of my own, not sure how to do that