functional-programming - "Monad transformers more powerful than effects"- 示例？

Question

论文"Programming and reasoning with algebraic effects and dependent types" by Edwin C. Brady关于 Idris 中的效果包含(未引用)声明:

Although [effects and monad transformers] are not equivalent in power — monads and monad transformers can express more concepts — many common effectful computations are captured.

有哪些示例可以通过 monad 转换器建模，但不能通过效果建模？

Answer 1

延续可以使用 CPS 建模为单子(monad)，但它们不是代数效应，因为它们不能使用 Lawvere 理论建模。参见 Martin Hyland 和 John Power，2007，The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads (pdf) ，ENTCS 172:437-458。