The indexed continuation monad

Because the full power of delimited continuations cannot be ignored.  :)