Control.Monad.Trans.Cont
type Cont r
cont
runCont
mapCont
withCont
data ContT r m a
mapContT
withContT
callCC
liftLocal