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