Haskell's missing mutable reference type

tomjaguarpaw:

if IOScopedRef existed then I could instantiate the Logger argument to writeUserData to get the behaviour I desire

Yes, though I would object to this feature being implemented like that.

tomjaguarpaw:

I don’t know what “with references” means.

As in with either contextual values I outlined above or IOScopedRef.