That's exactly one of my many complains about Scala (and about type inference in general). Type annotations are not there just for the compiler, they also help

That's exactly one of my many complains about Scala (and about type inference in general). Type annotations are not there just for the compiler, they also help readability / documentation.