You are misunderstanding what I said.
Either one of the 2 issues I linked would fix the specific problems you outlined. You don't need a globally sound type system, H-M inference, or anything like that to fix those specific problems; local inference and opt-in nominal typing would work just as well.
Having used TS daily for a few years, I can vouch that your cases are pathological, and don't come up in practice often, if at all.
The soundness we are talking about in this case isn't theoretical at all and in fact such an argument is anti-intellectual. This is anti-intellectualism.
As for the "community", we are talking about one where the majority has never worked in sane static languages.