@NobbZ You are right. Naming Algebraic Data Types ‘containers’ does not cover all of them, but it seemed like a simple word to use for people who had never heard of them before.
A possibly better alternative, that is still understandable for outsiders, might be Composite Types.
I like your introduction, and it actually hadn’t occured to me before that enumerated types are a kind of ADT as well.
