튜플들의 길이가 일치하면 각 튜플 원소별로 유니언을 만들고

다르면 튜플별로 유니언을 만든다


물론 이런 유니언들은 컴파일타임 타입을 말하는 거고 런타임에는 유니언이 아니라 하나의 고정된 타입을 가짐