can the lib be explained by algebraic effects?

[fililili]

I cannot clearly say why, but it looks like they are very similar.

[ericniebler]

i'm not sure what you mean by "algebraic effects"

[fililili]

https://casperbp.net/posts/2023-07-algebraic-effects/
Here is a page. I think it's a logic to handle continuation (or Receiver) according to free monad.