Sure, it can be an IdProvider[CyclicIncrement[T]].