If we want to define two different classes, user and product, and we want to make sure that we cannot compare their ids directly, we might try