Implement AdditiveColourMonoid append