(Author here) Yes, that's correct. It's an algebraic effect elevated to a dedicated language feature.

The benefit is that it is simpler than having full-blown algebraic effects, both to learn and to actually use. Probably not for you, but for most people, and definitely for the non-professional developer kind.