Even with type inference, redundant type information is needed.
⇑ Translate the sentence above by Google ⇑
Related: inference
Next: There were two inferences to be drawn from her letter.
