On the purported benefits of effect systems
Don’t get me wrong, I think effect systems are cool because of the ability to define custom control flow operations in libraries.
However, the wide variety of purported benefits do not seem to stand up to close scrutiny.