with, and you'd have to explicitly ask for impure / mutable
"Impure" should be on parameters so you can do dataflow in the presence of FFI.
So you basically need better mechanisms.But then you have to analyze the needs first (e.g. the desirable semantics that currently are avoided) All of then.
Adding one hack after the other is not the best approach.
