Here's the point in time where we return to how monads are great. What Sustrik asks for here is an imperative context where failure is a native operation. Obvi

Here's the point in time where we return to how monads are great. What Sustrik asks for here is an imperative context where failure is a native operation. Obviously, this is most useful in a delimited way and this is exactly a maybe monad.