> So, are we now claiming that my patch *is* safe? (Never mind about
> IORefs, I'm talking about the implementation itself).
No.
And my recent focus on IORefs has simply been because they seemed the
strongest argument.
A