Progressive Disclosure of Complexity and Typed FP Languages | Hacker News Reader