MAYBE

Problem:
 f(h(x),y) -> h(f(y,f(x,h(a()))))

Proof:
 Open