Un tipo genérico cuyos parámetros de tipo genérico han sido especificados. Un tipo construido o un método puede ser un tipo genérico abierto si algunos de sus argumentos de tipo son parámetros de tipo de envolvente tipos o métodos, o un tipo genérico cerrado si todos sus argumentos de tipo son reales.