• Example Union Type Annotations
• Union Types as a BNF