The Java (and Scala) type system is unsound | Hacker News Reader