newtype MaybeT m a. The MaybeT monad transformer. This monad transformer extends the base monad, supporting failure and alternation via the MonadPlus type ...