-- | See 'Control.Monad.Ether.State.Lazy.put'.
put :: forall m s . MonadState s m => s -> m ()
put = Explicit.put (Proxy :: Proxy s)
put :: forall m s . MonadState s m => s -> m ()
put = Explicit.put (Proxy :: Proxy s)
put = Explicit.put (Proxy :: Proxy s)