Control.Monad.Trans.Maybe
data MaybeT m a
mapMaybeT
maybeToExceptT
exceptToMaybeT
liftCallCC
liftCatch
liftListen
liftPass