OK, so are we agreed, then, that if IOScopedRef existed then I could instantiate the Logger argument to writeUserData to get the behaviour I desire? And that with only the primitives provided by Haskell as it currently stands, the Logger argument to writeUserData cannot be instantiated in a way that gives me the behaviour that I desire. Instead Logger or writeUserData or both would need to be changed?
BurningWitness:
With references the library would declare an implicit configuration reference and you’d augment that for all functions invoked within a context.
I don’t know what “with references” means.