Union type @pattern_match

Known direct subtypes

Component types