But none of these reasons should trigger a "I'm going to change this fundamental thing about x because I don't like it". I don't have anything against typing.

But none of these reasons should trigger a "I'm going to change this fundamental thing about x because I don't like it". I don't have anything against typing. I just get annoyed when it gets out of control in a language it wasn't part of to begin with. Just look at how complex typescript typing is to see where it can go. Used pragmatically it's fine. When it's out of control we might as well switch to another language.