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-M...