h(x) -> a()
k(a(),a()) -> a()
f(g(x),y) -> a()