Rust, Macros, λ-calculus/Church numerals, oh my | Heykuki News