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