Intersection Types
Intersection types are a welcome addition when you're programming to interfaces.
Links
First-class callables
Up next
The Never Type
