Worth noting that this isn't why they are called algebraic data types, which was a mistake I made for a while. The "algebraic" in algebraic data types refers t

Worth noting that this isn't why they are called algebraic data types, which was a mistake I made for a while. The "algebraic" in algebraic data types refers to this notion of "algebra": https://en.wikipedia.org/wiki/Initial_algebra#Use_in_Computer_Science https://en.wikipedia.org/wiki/Initial_algebra#Use_in_Compute...