Definiţia unui tip generic, în care parametrii de tip acţionează ca substituenţi pentru tipurile pe care utilizatorul le furnizează atunci când se creează instanţe pentru a fi utilizate. Aceste cazuri nu sunt instanţe ale definiţiei tip generic, ci de tipul construit format, cu precizarea argumentului de tip.