Slowly converging on the shape recommended in Danvy, et al's paper, Monadic Evaluators and Abstract Machines for Languages with Computational Effects