Ask HN: Thoughts on leveraging algebraic effects in programming languages?

There's been a lot of discussion recently about the Hurl language and its use of algebraic effects as a way to control flow in programs. Some argue that this approach requires understanding where code was called from and that effects a function may raise are part of a function's type. Others express concerns about the complexity this could introduce, suggesting it might lead to hard-to-find bugs and questioning the benefits over a more traditional callback approach. What are your thoughts on this? Do you see potential value in this approach, or do you agree with the criticisms?