Added Maybe monad.