Type inference and narrowing with reverse arrows | Hacker News Reader