type inference
Technical term in programming language theory and compilers; refers to the automatic deduction of the type of an expression.
Haskell is a language with powerful type inference.
Thanks to type inference, type annotations can be omitted.