They’re enums that can hold additional data types.

But they’re additionally great because the compiler does exhaustive pattern matching.