Так вот я понимаю частично, есть внутреняя структура:
1. внутри что-нибудь свободное free(r), operational, и т.п., + возможно с codencity / reflection w/o remoerse. Но какие вещи тут что дают, у одних явно лучше ассимптотика, но когда это важно и чем мы платим за более хорошую?
2. есть некий контекст, в котором мы собираем список хэндлеров эффектов, типа Eff [m::* -> *], и интерпретатор Eff, который раздаёт эффект соотвествующим handler-ам. Тут какие есть варианты в пространстве дизайна?
3. Точно бывают ограничения типа local эффектов (local в Reader, или исключения), но их явно умеют обходить. Но как? И чем мы за это платим?

Алгебраические они потому, что я неграмотный, а называть надо. Но алгебраические эффекты, континуации, генераторы, файберы примерно об одном и том же.

на ICFP этого года есть статья про компиляцию в лямбда исчисление с помощью CPS какого-то подмножества эффектов,
плюс в том что не нужна поддержка от рантайма, и лукап нужного хендлера можно сделать эффективнее чем в общем случае (не через линейный поиск по стеку)
https://dl.acm.org/doi/pdf/10.1145/3408975

Мне без разницы как оно называется, главное чтобы работало и не очень сложно внутри было сделано.

Файберы-то тут при чём?
Континуации тоже не совсем отсюда. На них можно сделать систему эффектов, но эффекты из них сделать практически невозможно.
Генераторы тоже на эффекты не похожи.

Файберы сделаны поверх континуаций. Генераторы в js суть stackless one-shot континуация.

Которых - call/cc или shift-reset?

Effect tracking is commercially worthless