Discussion
Suppose we have a function to sum the elements of a container
In the inner loop of that function, the container will always be the same type
Therefore, if we can push the decision about the type out of the loop, we will decide once instead of many times
Ideally, we would like to avoid deciding during execution time altogether