Can this be `IdProvider[T]`?