Effective types and aliasing | Hacker News Reader