(+) : Nat → Nat → Nat
(+) 2 : Nat → Nat
(+) 2 3 : Nat