3 ms·This is also called a "discriminated union", with "tag" being the discriminator here.by feoren 5y agoThis is also called a "discriminated union", with "tag" being the discriminator here.