Ah, interesting, effects are not one shot.

I still don't understand how effects allow taming mutability. Can you point me to some resource (possibly understandable by a layman without knowledge of advanced type theory)?