Branch type @falsetype

Direct supertypes

Indirect supertypes