+1 : ℕ → ℕ
+1 m = suc m