james-mcelwain
Joined 10 years ago
Joined 10 years ago
Obviously it's not part of the type system itself, but doesn't the must_use attr get pretty close?
Second, even if we granted the premise that UHC leads to less healthcare innovation, this doesn't mean that there's "infinite harm" in to people in the future. Unless you're claiming you have a crystal ball, there is absolute 0 epistemic basis on which to make this claim. For all we know, not having UHC leads to nuclear war and we all die. Or, having UHC leads to the singularity. Etc.
Third, even if we grant that there's an innovation advantage to for-profit medicine AND we grant that you can predict the future, that still doesn't mean that there's "infinite harm", precisely because "harm" is comparative. I would argue that we've picked most of the low-hanging fruit of human medicine and that the marginal utility produced by new treatments is far outweighed by the human suffering of our for-profit system.
When I book a flight through Expedia I enter a contract of carriage with the airline, not Expedia. This is a contractural matter, not just an abstract concept of "commercial relationship."