An effect notation based on with-clauses and blocks
blog.yoshuawuyts.com