From the documentation: "Maps an old state to a new state inside a state monad. The old state is thrown away." https://hackage.haskell.org/package/mtl-2.2.1/d

From the documentation: "Maps an old state to a new state inside a state monad. The old state is thrown away." https://hackage.haskell.org/package/mtl-2.2.1/docs/Control-Monad-State-Lazy.html https://hackage.haskell.org/package/mtl-2.2.1/docs/Control-M...