Типовое Обобщение

(type generalization) — см. Идеальный тип.