Haskell's missing mutable reference type

BurningWitness:

I don’t see how you can implement that without breaking some fundamental part of the language

Well, I explained how I can get my API from yours.

And another potential implementation is explained here: A reference implementation of IOScopedRef