This should also iterate over the super-type supertypes