Control.Monad.Trans.Maybe.Extras

Documentation

evalMaybeT :: Functor m => MaybeT m a -> a -> m a

The more useful version is to use evalMaybeT flipped so it can be in a chain of transformer runners, like this evalCont . (evalMaybeT val) This argument ordering is consistent with evalStateT.