Sound type systems are built on the principle that, as some operations a computer is strictly capable of performing might be either absurd or unsafe or both, it is desirable to introduce constraints the programmer must prove they can satisfy in order for the resultant program to be sound. Rust is a popular language infamous for its complex type system and borrow checking rules, and it has been observed to have a disproportionately transgender user base—a community stereotyped as being disproportionately into kinks such as BDSM. In this essay I will