。codice_19现在可以从一个公式导出，接着被用来通过单子函数的管道向codice_2填入值：这种单子列表的一个应用是表示。codice_2可以持有一个算法中所有执行路径的结果，接着每一步骤压缩自身来忘记那一步导致了这个结果（有时这是同确定性、穷举算法的重要区别）。另一利益是检查可以嵌入到单子中；特定路径可以透明的在它们第一个失败点上被剪除，而不需要重写管道上的函数。突出codice_2的第二种情况是复合多值函数。例如，一个数的codice_104次复数方根将产生codice_104个不同复数，但