This could just be defined as `receiveEither[I,I2].repeat`.