An effect notation based on with-clauses and blocks #1 Post by lukastyrychtr » Tue, Mar 31, 2026, 9:00 PM UTC An effect notation based on with-clauses and blocksblog.yoshuawuyts.com