Nat -> Nat -> Nat