Вычисляем на типах в TypeScript: Аксель Раушмайер о продвинутых техниках для вычисления производных типов из уже существующих → https://2ality.com/2020/06/computing-with-types.html