Scala Type Inference