Julia enums do not equal to Rust enums. You can achieve that functionality (that a type can be one of a set of cases, type algebra in general) with subtypes. Which is fine I'd say, but there could be terser syntax for it (which is available through packages, and it's slower). Having abstract types which cannot be instantiated is also nice.