> You want a global mutable thing in Haskell? just use something like an `IORef` and that is it. It does not involve any complicated type magic. But mutations t

> You want a global mutable thing in Haskell? just use something like an `IORef` and that is it. It does not involve any complicated type magic. But mutations to it will only happen in IO, and thus will be reflected in types. That is how you do it. That is how it does not feel like a straight jacket. Haskell supports linear types now. They are pretty close in spirit to Rust's borrowing rules. > Haskell as a language is tiny. Not at all. Though much of what Haskell does can be hand-waved as sugar on top of a smaller core.