Как Omit {T, K} растворил типы или что такое дистрибутивность типов в TypeScript

Доклад Дениса Платонова о том как он обнаружил фундаментальный подвох в недистрибутивном Omit {T, K} с union-типами и как его кейс повлиял на документацию TypeScript, а также как дистрибутивность решает эту проблему.

https://www.youtube.com/watch?v=J4vJ-wO6Sl0