Infer vs Imply: What’s the Difference? - Typing Adventure