Doing First Grade Math in Rust's Type System

Felix Prasanna

https://fprasx.github.io/articles/type-system-arithmetic/