Definition af en generisk type, i hvilken type parametre fungerer som pladsholdere for typer, som brugeren leverer når du opretter forekomster at bruge. Disse forekomster er ikke forekomster af den generiske typedefinition, men af de beregnede type dannet ved at angive Typeargumenterne.