On: Type inference has usability problems

[keithnz]

where does it say not to use it unless you have to ? They use it everywhere :)