Pure Intersection Types
22/33
The 'never' Type
Array Unpacking with String Keys
•
Only for class and interface names
•
Variance rules are respected, but they are complicated
