A type-level implementation of Smallfuck in Rust, doubling as a Turing-completeness proof for Rust's type system.