Update maybe_monad.lhs