unbound generics

свободные обобщённые типы (обобщенный тип называется свободным, когда параметр типа не имеет никаких ограничений Alex_Odeychuk)