Um tipo genérico cujos parâmetros de tipo genérico foram especificados. Um tipo construído ou método pode ser um tipo genérico aberto se alguns dos seus argumentos de tipo são parâmetros de tipo de delimitador tipos ou métodos, ou um tipo genérico fechado se todos seus argumentos de tipo são tipos reais.