Doc.
Report reasonable failures with ErrorT rather than eithers or failing in the IO monad.