[pcwalton]

It only short-circuits to the end of the do block. But once you leave the do block the error isn't propagated anymore.

[steveklabnik]

Right. Maybe this is because I tend to write small functions, but the amount of things that end in `Ok(())` especially with IO still makes me think it would be useful.