-- | See 'Control.Monad.Ether.State.Lazy.execState'.
execState :: State s a -> s -> s
execState = Explicit.execState Proxy
execState :: State s a -> s -> s
execState = Explicit.execState Proxy
execState = Explicit.execState Proxy