Comment by rddbs

There are union types, which despite being untagged might be enough in a lot of situations, and I believe has language support in things like switch statements.

https://crystal-lang.org/reference/latest/syntax_and_semanti...