https://nadrieril.github.io/blog/2025/12/21/the-algebra-of-loans-in-rust.html