[mrloba]

I would also like to know, as I started on something similar myself. My plan was to allow calling an impure function from a pure function as long as the mutation was contained to state that had its entire lifetime within the pure function. To ensure that the impure function only did mutations in such a way I planned to add a special keyword that could be type checked. Never got very far with it though.