@evildictaitor:

Can you point out a situation where type inference can't tell what a type would be, but a programmer can?