Unfortunately type-checking performance related to generics is not yet optimal (but we are working on it), because unlike for concrete types, we can't attempt bindings for arguments until all of the operator overloads are applied which leads to exponential behavior. So I would suggest for time being and if it's possible add new operator overloads only with concrete types.