Scala traits and type classes