All non-blank names in the list must be unique. Each name declares a type parameter, which is a new and different named type -that acts as a place holder for an (as of yet) unknown type in the declaration. +that acts as a placeholder for an (as of yet) unknown type in the declaration. The type parameter is replaced with a type argument upon instantiation of the generic function or type.