This type is a reference with one special behaviour: the reference pointer (i.e. the address of
the value referred to) is used for equality and hashing, rather than the valueβs contents, as
would occur with a vanilla reference. There are two cases when this is useful.