I know that, and I did read that article. I wasn't criticising algebraic effects, I suggested it may indeed have something on the mere "power" of constructs that can implement the same flow.
That said, the article didn't make me much wiser on what's the point. I could sort of see it if it came with guarantees in the type system, I guess.
That said, the article didn't make me much wiser on what's the point. I could sort of see it if it came with guarantees in the type system, I guess.