Undocumented immigrants' payroll checks have withholdings just like American citizens, but they get none of the benefits, or refunds.
Can we calculate the net benefits the government gets from that?