E.g. for the inclusion of Fields in Rings, the codensity monad, TG will look like this on Z:

TG(Z)=Q×(Z/2Z)×(Z/3Z)×(Z/5Z)×⋯