Определение универсального типа, в какой тип параметров выступают в качестве местозаполнителей для типов, задаваемых пользователем при создании экземпляров для использования. Эти случаи не являются экземплярами определения универсального типа, но и сконструированный тип, сформированный путем указания аргументов типа.