La definición de tipo genérico, en que tipo de parámetros actúan como marcadores de posición para los tipos que proporciona el usuario al crear instancias de uso. Estos casos no son instancias de la definición de tipo genérico, pero del tipo construido formado por especificar argumentos de tipo.