Статья " Программирование и рассуждение с помощью алгебраических эффекты и зависимые типы "Эдвина К. Брэди об эффектах в Идрисе содержит (неопубликованное) утверждение о том, что:
Хотя [эффекты и монадные трансформаторы] не эквивалентны по силе - монады и монадные трансформаторы могут выражать больше понятий - захватываются многие общие эффективные вычисления.
Какие примеры могут быть смоделированы с помощью монадных трансформаторов, но не эффектов?
