Or just make side effects explicit in the type system through monads or algebraic effects.