Die Definition eines generischen Typs, welche Parameter als Platzhalter für Typen, das vom Benutzer beim Erstellen von Instanzen handeln verwenden. Diese Instanzen sind keine Instanzen der generischen Typdefinition, sondern den konstruierten durch Angabe von Typargumenten gebildet.