introduces Eval' which we will use to apply our computations within a monadic context