[svedin]

push doesn't have to be non-side-effecting. You are allowed to modify shared state, as long as it is a TVar (shared memory that supports transactions).

[krig]

Right, of course. Thank you. :)