Un tipo generico con parametri di tipo generico sono stati specificati. Un metodo o un tipo costruito può essere un tipo generico aperto, se alcuni dei relativi argomenti di tipo sono parametri di tipo di allegando tipi o metodi, o un tipo generico chiuso se tutti i relativi argomenti di tipo sono tipi reali.