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