La définition d'un type générique, dans quel type paramètres servent d'espaces réservés pour les types que l'utilisateur fournit lors de la création d'instances à utiliser. Ces instances ne sont pas les instances de la définition de type générique, mais du type construit formé en spécifiant les arguments de type.