标签： functional-programming monads effects idris
关于伊德里斯效应的论文"Programming and reasoning with algebraic effects and dependent types" by Edwin C. Brady包含（未引用的）声明：
尽管[效果和monad变换器]在功率上并不相同 - monad和monad变换器可以表达更多概念 - 许多常见的有效计算被捕获。
哪些例子可以通过monad变换器建模而不是效果？