[X]

f(g(X)) -> g(f(f(X))).
f(h(X)) -> h(g(X)).

