Control.Monad.MaybeCont
type MaybeCont a r
data MaybeContT a m r
maybeCont
runMaybeCont
liftMaybe
nothingC
mapMaybeCont
withMaybeContJust
withMaybeContNothing