Definice obecného typu, v jakém typu parametrů působí jako zástupné symboly pro typy, které uživatel zadává při vytváření instance, které chcete použít. Jsou tyto instance není instancí obecný typ definice, ale typ konstrukce tvořená zadávání argumentů typu.