GHC Proposal: Top-level IO initialized bindings

brandonchinn178: > Haskell programmers occasionally need a genuinely top-level, mutable, effectfully-initialized value Can you think of any example of this that couldn’t be solved with thread-local state instead? (e.g. Haskell's missing mutable reference type - #8 by BurningWitness)