OK, but it wasn't until functional programming came along that tagged unions were recognized as a natural way to implement sum types, which is how they are used

OK, but it wasn't until functional programming came along that tagged unions were recognized as a natural way to implement sum types, which is how they are used in modern programming. The old idea of a "variant" has pretty much faded away.