aaa = curry (\ (x,y) -> 2*x+y)