Let-polymorphism is fundamentally flawed | Hacker News Reader