Как работает условный тип с union?

Когда условный тип получает union через параметр типа, включается дистрибутивность: условие применяется к каждому члену union отдельно, а результаты объединяются обратно в union. Это позволяет фильтровать, трансформировать и маппить элементы union поштучно. Если union передан напрямую (не через параметр), дистрибутивность не работает.