The IRS collects taxes enacted by Congress. We all benefit (very broadly speaking) from taxes collected via government programs and public spending; the winner has $400M they didn’t have before. No one lost except those who didn’t win the lotto.