Index 1. Unions of Message Types Examines how typescript interprets the type of $(a, b) : T$ when $T = \bigcup_i \set{(a_i, b_i)}$.