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