C++ templates are more a limited form of macros than generic types, though. Macros can make type inference more difficult because they usually don't provide any

C++ templates are more a limited form of macros than generic types, though. Macros can make type inference more difficult because they usually don't provide any type bounds for the engine to work with and C++ templates can be especially complex.