Coeffects: Theory of context aware programming languages as an interactive essay | Hacker News Reader