Kinds of types in Scala, part 3: embedding some more info in a type | Hacker News Reader