Working on a new version of the evaluation monad