f(x, h, z) = h(x*z) + h(z^2)

f(3, x->x*x, 5)
f(3, cos, 9)
f(2, ln, 8)


f(x, h, z) = h(x, z) + h(z, 2)

f(3, x,y->x*y, 5)