A definição de um tipo genérico, no qual tipo parâmetros atuam como espaços reservados para tipos que o usuário fornece ao criar instâncias para usar. Essas instâncias não são instâncias de definição de tipo genérico, mas do tipo construído formado especificando argumentos de tipo.