• Type Inference
• Is it worth it?