State monad as a first class language construct might help? You could allow actual mutations inside that and therefore if a lot of computation needs doing it co

State monad as a first class language construct might help? You could allow actual mutations inside that and therefore if a lot of computation needs doing it could be more efficient.