:: a -> b -> (a, b) package:extensible-effects

Embed a pure value in a stateful computation, i.e., given an initial state, how to interpret a pure value in a stateful computation.