Introduced an evaluation monad.