Calculating Factorials in Rust's Type System

A majestic realm of computation