A higher-order adder, using lexical binding