(fun x y -> 4 * x + y) 2 ((fun y -> 8 / y) 2)