Handle situations where a name is used to refer to something using two
different types, and the more general type occurs first