The general case of parametricity in state monad.