Not to mention that operator (and function) overloading is absolutely unavoidable when you are dealing with generics. A generic type may itself define an operat

Not to mention that operator (and function) overloading is absolutely unavoidable when you are dealing with generics. A generic type may itself define an operator, which, of course, becomes overloaded due to its origin, or such a type may require that an operator on another, parameter type, exists and satisfies certain “axioms” (such as associativity).