Basic operations on ContT
eval arg1
ContT<^MR, 'T>
^MR
The result of running a CPS computation with its inner monad's 'Return' function as the final continuation.
run arg1 continuation
ContT<'MR, 'T>
'T -> 'MR
'MR
The result of running a CPS computation with the identity function as the final continuation.