La definizione di un tipo generico, in quale tipo di parametri agiscono come segnaposto per i tipi che l'utente fornisce durante la creazione di istanze da utilizzare. Queste istanze non sono istanze di definizione di tipo generico, ma il tipo costruito specificando gli argomenti di tipo.