有执行路径的结果，接着每一步骤压缩自身来忘记那一步导致了这个结果（有时这是同确定性、穷举算法的重要区别）。另一利益是检查可以嵌入到单子中；特定路径可以透明的在它们第一个失败点上被剪除，而不需要重写管道上的函数。突出codice_2的第二种情况是复合多值函数。例如，一个数的codice_104次复数方根将产生codice_104个不同复数，但是如果另个codice_3方根接受了这些结果，最终复合出的codice_107的值应当同一于一次codice_107次方根的输出。codice_2完全自动化了这个问题