Note that C behaves covariantly with respect to maps of both X and G.
We need to check that F-derivatives behave in the way we expect with regard to sums, scalar multiples and products.
Hence we would expect the functions...... to behave similarly.
For general rings, Out(R) is not necessarily well-behaved.