The type inference mystery novel – part 1 | Hacker News Reader