RS
делаем несколько типов, абстрактный идентификатор и конкретные идентификаторы которые от него наследуют, таким образом мы всегда убеджены что идентификатор не изменён, не тронут, всегда валиден и всегда репрезентирует именно тот обьект который требуется


