Изменения в новых версиях / TypeScript 4.1

Рекурсивные условные типы

Пример из полной версии. Она продаётся в магазинах приложений: