 Continuation monad transformer

A continuation monad whose final answer is computed in a base computational monad. The answer type $R$ is fixed throughout a computation.