Only looked at link [2], but wow. That state machine is brilliant. Don't know OCaml but am learning Rust and I see what you mean about the universality of how

Only looked at link [2], but wow. That state machine is brilliant. Don't know OCaml but am learning Rust and I see what you mean about the universality of how types make this possible. Thanks for pointing this out.