A early history of algebraic data types

If this took decades to get into mainstream languages, makes one wonder what cool tech exists in different programming paradigms now and when the rest of the world will discover it.

See https://news.ycombinator.com/item?id=45381379