I'll admit that I don't have much experience with generics, but can't we get done what we're trying to get done just by letting builtin operators get overloaded, then making an interface for those functions and using the interface? From what I've seen, it appears the main point is to let various types that can all get "+" applied to them get handled with one function. But defining the interface is the contract and the interface is any type that fulfills it, so...? What am I missing?