runState -package:rebase -package:linear-base package:adjunctions

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