If a relation has two different allowed types, how does the arrow operator work on that relation if one of the types does not have that permission?