Typescript Distributive Conditional Types

Question

So i was going through the documentation on typescript and am not able to get my head around this concept.

So the documentation states :-

In instantiations

Answer 1

Within a distributive conditional type (let's say type BoxIfObject = T extends object ? Array : T;) when the type is applied to a union (let's say number | { a : string }), it's as if the conditional type is applied to each constituent of the union and thus within the conditional type T will in turn refer to each constituent of the union (so T will first be number and then T will be { a : string })

So when we apply BoxIfObject, T will never refer to the whole union number | { a : string } but to each of it's constituents in turn. Basically BoxIfObject = BoxIfObject | BoxIfObject<{ a : string }> = number | Array<{ a : string }