(fun x -> fun y -> fun x -> x+y*2) 0 19 4