Other options: * Use linear / affine / session types / move semantics * Describe an interface, then weave side effects through it, such as the State Monad.

Other options: * Use linear / affine / session types / move semantics * Describe an interface, then weave side effects through it, such as the State Monad. * Use lenses