←
reference equality
ideal
•
library
•
elements
• identifier
An identifier such as a URI.
interface
identifier
subtypes
deeply immutable
data
subtypes
stringable
subtypes
equality comparable
←
reference equality
ideal
•
library
•
elements
• identifier