You get that on top of do notation, with no additional syntax required for example `IORef` or Bluefin's `State`: https://www.stackage.org/haddock/lts-23.27/bas

You get that on top of do notation, with no additional syntax required for example `IORef` or Bluefin's `State`: https://www.stackage.org/haddock/lts-23.27/base-4.19.2.0/Data-IORef.html https://www.stackage.org/haddock/lts-23.27/base-4.19.2.0/Dat... https://hackage-content.haskell.org/package/bluefin-0.0.16.0/docs/Bluefin-State.html https://hackage-content.haskell.org/package/bluefin-0.0.16.0...