Thanks! I sure hope it's a fun thought experiment (if anything else).

I have no experience with Rust, so I'd be very interested to discover what its type system can come up with to solve this problem. So please let me know if you succeed!