This sounds cool from a language-design perspective, but impossible to use a design like this in Rust. Unless I've misunderstood how it works?