add x y = x + y

add2 = \x y -> x + y