Good post Holly! Nice to see the information written down as well.

If you are interested in the background to variant data types you'll find they are often called tagged unions (Tagged union - Wikipedia) and have a history in the typed lambda calculus