You don't have to throw away the result. That's what the State Monads are for. Immutable State is Ok. Memoization is Ok.