3.2.5 Declaring the types of variables used in function calls

You can minimize, or even eliminate, runtime decisions about the types of function arguments by making them instances of a known type. This gives the compiler a chance to inline appropriate code or perform other optimizations.