Control.Monad.Trans.MaybeCont

data MaybeContT a m r

liftMaybeT

nothingC

mapMaybeContT

withMaybeContTJust

withMaybeContTNothing