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