John Lato <jwlato@gmail.com> writes:

> Oleg included the error state to enable short-circuiting of
> computation, and I guess everyone just left it in.  Recently I've been
> wondering if it should be removed, though, in favor requiring explicit
> (i.e. explicit in the type sig) exceptions for everything.  I'm not
> sure if that would be more or less complicated.

If you don't want to go all the way to checked exceptions, MonadCatchIO
could also be a nice way to go here.