A Rust library for runtime-checked linearish types - View it on GitHub