Why Effects?

In my last post I described what an effect notation might look like using with -clauses and blocks. When discussing effects over dinner with lcnr a couple of days ago they asked a really good question that I’ll paraphrase here: “Why are effects the right answer? What do they provide that extensions to the trait system cannot?” The answer to ”Why effects?” is not one of capabilities. It is true…