Branch type @proper_field

Direct supertypes

Indirect supertypes