dice_14，并应用codice_14于去包装的值codice_7，转变单体值codice_6。在后面的导出自函子章节有可作为替代的等价构造，使用codice_18函数替代了codice_19算子。通过这些元素，编程者可以复合出一个函数调用的序列（管道），在一个表达式中通过一些bind算子把它们链接起来。每个函数调用转变它的输入普通类型值，而bind算子处理返回的单子值，它被填入到序列中下一个步骤。在每对复合的函数调用之间，bind算子codice_12可以向单子值codice_6注入在函数cod