I wonder how many times people will have to reinvent algebraic effects until it becomes mainstream :)

I know this is a very basic question, but what is it about algebraic effects that makes them compose when monad transformers don’t? I’ve read some of Bauer’s early Eff work, which IIUC was explicitly motivated by this, but for all the neat stuff about resumable exceptions and delimited control and whatnot I don’t feel I ever saw (or recognized) the definitive answer to this.

Until a large company either creates and heavily invests in a new language, or integrates an effect system into a very popular language like C# or Java.

Sadly I don't see that happening anytime soon.

Oh yeah, I know.