Modified maybe monad extensions