cpp/types/has unique object representations