runState -package:effectful-core package:adjunctions

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