More correct description of the Simulation monad.