Scala's Types of Types | Hacker News Reader