First class modules with self types | Hacker News Reader