It's this that's the problem. It only helps some callsites some of the time, but it introduces ambiguity in how to write and how to read all callsites everywhere, and makes the grammar and reasoning about arguments strictly more complex, across the language and all libraries.
Insofar as chaos == too much complexity, this adds unnecessary complexity, and that's my objection to it.
On this generalization, I disagree most firmly. The syntactic complexity of the language is already well overbudget.
Many corners of the type system are ignorable by most users, only even appear necessary "when you need them" (to specific library authors, or specific statically-inexpressible things); and often type system work is motivated by a specific safety or speed concern.
Syntactic complexity tends to cost everyone in the language, and the aesthetic / convenience motive is often more subjective.