Обобщённые функции, классы, интерфейсы, ограничения (extends), keyof, typeof, infer, условные типы, mapped types.