Disentangle Eval monad from the interpreter.