Scala's Types of Types | Dark Hacker News