It turns out that there is a monad error instance ...
# arrow
r
It turns out that there is a monad error instance for Kleisli because IO has one and so does EitherT