add IO to Eval monad stack