Scala: understanding types and type system | Hacker News Reader