== Type Hints Distilled