The trick to avoid deeply-nested error-handling code | Hugonweb Annotated Link Bibliography

Inside a do-block for the Either monad, Left short-circuits out of the block. Keep in mind return doesn't. That could be a good reason to use pure instead.