Distributive conditional type

A conditional over a naked type parameter that evaluates separately for each member of a union.