It implements `MonadError<F, Throwable>` whi...
# arrow
r
It implements
MonadError<F, Throwable>
which already gives you most of those combinators.