行流控制，比如只在特定条件下调用函数，或以特定次序执行函数调用。
例子：Maybe单子.下面的快捷伪码例子展示编程者使用单子的动机。未定义值或运算是健壮的软件应当准备和优雅处理的一个特殊问题。完成这个目标的第一步是建立一个可选类型，它标记一个值要么承载某个类型codice_23（codice_23可以是任何类型）的值要么没有承载值。新的类型将叫做codice_25，而这个类型的值可以包含要么类型codice_23的值，要么空值codice_27。类型codice_23的值cod