"Templates may be parameterized by types, compile-time constants such as numbers and strings, and other templates." . . . . . .