Универсальный тип, чьи параметры универсального типа. Сконструированного типа или метода может быть открытым универсальным типом, если некоторые из его аргументов типа являются параметрами типа включающих типов или методов, или закрытый универсальный тип, если все из его аргументов типа являются реальными типами.