Add an example of Scala's type inference algorithm in action.