forceEverything
  :: (Monad m, NFData s, MonadState s m)
  => m ()
forceEverything = do
  x <- get
  x `deepseq` put x