runState -package:linear-base -package:mtl-prelude package:relude

Unwrap a state monad computation as a function. (The inverse of state.)