The counterpart of "Contracts" in C++ is "Traits" not "generics".