but that's only a simple c-style enum. What the author is describing is a algebraic data type/sum type: an alternative between types with possibly different typ

but that's only a simple c-style enum. What the author is describing is a algebraic data type/sum type: an alternative between types with possibly different types (i.e., a Boolean, two strings, etc.). Read the example in the article closely and you will know what I mean.