It's really nice how guarantees like this allow for powerful features to be built up.

:heart: Rust.