The Algebra of Loans in Rust