De definitie van een generieke type, in welk type parameters als tijdelijke aanduidingen voor soorten die de gebruiker opgeeft fungeren bij het maken van exemplaren te gebruiken. Deze exemplaren zijn niet gevallen van de definitie van generieke type, maar van het samengestelde type gevormd door het type argumenten opgeven.