What's new in Scala 2.8 - Type Constructor Inference