EN For example, if A and class="highlight">B are class="highlight">class aliases, then A|class="highlight">B remains a legal union type, even though it could be reduced to either A or class="highlight">B. Similarly, if class="highlight">class class="highlight">B class="highlight">extends A {}, then A|class="highlight">B is also a legal union type, even though it could be reduced to just A.