Making Illegal Workflow States Unrepresentable in Rust

Rust developers already accept one important move: if something matters to correctness, it should be...