Inspired by Jack Wrenn’s post on Undroppable Types
in Rust, I set out to see if it’s possible to create types that must be used exactly
once. From my understanding, those things are called linear types, but
don’t quote me on that1.




Unless…