Haskell's missing mutable reference type

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

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