I think I need to write a Rust crate that helps express state at compile time using the type system.
The performance improvements that not doing things at runtime naturally brings with it aside, using enums for information that could be encoded at compile time and thus statically checked by the compiler seems like a missed chance.