So here's a thing. Apart from state feedback, the language is pure. Is it possible to rephrase it such that all primitives are pure, and the state feedback is hidden somewhere else? Basically, express it as a z transform? So why can't I have a pure DSL? The only reason is sharing. Can applicative express sharing?