Control.Monad.Cont

data Cont r a

mapCont

withCont

data ContT r m a

mapContT

withContT

Example 1: Simple Continuation Usage

Example 2: Using callCC

Example 3: Using ContT Monad Transformer