[matt_kantor]

I'm no expert, but perhaps https://arxiv.org/abs/2302.01415 (especially section 2.2, "Non-Algebraic Effects") will help.

[tome]

Thanks. It says

> Algebraic effects & handlers use a free monad and an interpreter to separate the syntax of effects from their semantics

I'm pretty sure not everybody who works with algebraic effects would say they have to be based on a free monad, so I'm skeptical how definitive this definition is.