Add Maybe monad.