In the sense that you can combine Cont r a objects into CPS computations over a value of type a, yes. It's a leaky metaphor but it does reiterate the two level

In the sense that you can combine Cont r a objects into CPS computations over a value of type a, yes. It's a leaky metaphor but it does reiterate the two levels of logic going on in a monad: the "boxed" value and the "box" itself.