Delimited continuations

Delimited continuations encoded as a parameterized continuation monad.