Union & Intersection Types#

Union types (A | B) represent values that can be one of several types. Intersection types (A & B) combine multiple types into one. Together they provide powerful type composition without inheritance.