The (g.f)(x) = g(f(x)) implementation