> "Sum types". Hey, let's give an old concept a new name. Sum type has been the standard functional programming language term for this concept since at least t

> "Sum types". Hey, let's give an old concept a new name. Sum type has been the standard functional programming language term for this concept since at least the 1970s, perhaps earlier.