let n(a) {a} in n(5) ; let m(a) {a+1} in n(5) + m(5)