Union
A 또는 B 중 하나이며 공통으로 안전한 멤버만 바로 사용
유니온은 선택지를 넓히고 인터섹션은 요구 조건을 합친다
기호가 비슷해 보여도 값이 만족해야 하는 계약의 방향은 정반대다.
후보 판별
typeof·in·구별 필드로 실제 후보를 좁힌다
Intersection
A와 B의 모든 요구를 동시에 만족해야 한다
계약 결합
여러 역할을 한 객체에 합칠 때 사용한다
핵심가능한 입력의 집합은 union, 한 값이 갖춰야 할 능력의 합은 intersection으로 읽는다.