Can you make this more specific? Not everyone will know "type inference" means `_`.