• Type Inference
• Initialiser inference
• Contextual typing
• Walkthrough
• Type Parameter Inference
• Walkthrough
• Other considerations
• Method of Combining Candidate Arrays
• Interference Between Contextual Typing and Type Parameter Inference
• Inference Priorities
• Contravariant Candidates
• Reverse Mapped Types