Not allowing what? Rebinding of variables? That's what IORefs, MVars etc. are for.