[throw156754228]

Also their other well known problem: you lose the program state if an exception is thrown in the monad above.

[tome]

Yeah, that's basically the same problem as `StateT s (ExceptT e m)` but for `StateT s m` where `m` throws exceptions.