Class IdentityReduction<I,​O>