Wait till people find out about computability of functions (Nat -> Nat) -> Nat, they're going to lose their shit