История изменений

Судя уже по:

Just as we restrict our scope to producer effects, we also re-strict it to sequential composition of computations. There are many other forms of composition, such as multiplicative composition (for parallelism and for adjacent subexpressions), additive composition (for branching), and coinductive composition (for recursion and for loops). We choose sequential composition because that is where existing research has focused its efforts. We focus on just the one form of composition so that we may address its challenges in full. We believe many of the insights and techniques in this paper can be adapted to other forms of composition, though there is still plenty of interesting work to be done there.

Как я понимаю, я тоже рассматривал только подмножество эффектов и их композиций, что не верно в общем случае.

Судя уже по:

Just as we restrict our scope to producer effects, we also re-

strict it to sequential composition of computations. There are many other forms of composition, such as multiplicative composition (for parallelism and for adjacent subexpressions), additive composition (for branching), and coinductive composition (for recursion and for loops). We choose sequential composition because that is where existing research has focused its efforts. We focus on just the one form of composition so that we may address its challenges in full. We believe many of the insights and techniques in this paper can be adapted to other forms of composition, though there is still plenty of interesting work to be done there.

Как я понимаю, я тоже рассматривал только подмножество эффектов и их композиций, что не верно в общем случае.