I think it is better to see it as the government's responsibility to take care of it citizens. Medicaid, food stamps, and the negative income tax represents this approach. We don't necessarily see it as a bad thing that the government takes care of citizens. If someone is struggling, it is the governments role to step in and support that person.
But it does make sense to talk about whether these programs provide sufficient support, or if our approach to taxation, which supports these programs, is fair.
Sorbet may fix things, but at that point, just use a language with more mature tooling around types, like Python or TypeScript.
Dynamic types offer dubious marginal benefits but bring tons of downsides. The demonstrations in this article reflect that.