“Monad变形金刚比效果更强大” – 举例？

Edwin C.Brady关于Idris中效应的文章“用代数效应和依赖types进行编程和推理”包含了（未被引用的）声明：

虽然[效果器和单声道变压器]在功率上并不相同，但单声道和单声道变压器可以expression更多的概念 – 许多常见的有效计算被捕获。

有什么样的例子可以用单子变换器来模拟，但不是影响？

Answer 1

可以使用CPS将延续模型化为单子，但是它们不是代数效应，因为它们不能用Lawvere理论来模拟。 参见Martin Hyland和John Power，2007， “通用代数的分类理论的理解：Lawvere理论与Monads（pdf）” ，ENTCS 172：437-458。