-- | See 'Control.Monad.Ether.State.Lazy.runState'.
runState :: State s a -> s -> (a, s)
runState = Explicit.runState Proxy
runState :: State s a -> s -> (a, s)
runState = Explicit.runState Proxy
runState = Explicit.runState Proxy