A monadic implementation of multi-prompt delimited continuations (http://code.haskell.org/~dolio/)