A prototype static analysis tool for observable effects | Hacker News Reader