An effect notation based on with-clauses and blocks | Hacker News Reader