Types can always be compared by identity.