Что такое Extract<T, U> и Exclude<T, U>?

Extract<T, U> достаёт из union-типа T только те члены, которые совместимы с U. Exclude<T, U> делает обратное — убирает из T всё, что совместимо с U. Оба работают на уровне union, а не объектов — они фильтруют члены объединения, а не свойства.