和codice_59被设计用来简化codice_46，但是他们明显的不以任何方式依赖于codice_46的细节，只是有关于codice_1类型。这些函数事实上可以应用于codice_1类型的任何值和函数，不管底层的值的类型。例如，下面是来自Kleene三值逻辑的一个简洁的NOT算子，也使用了相同的函数来自动化未定义值：trinot :: Maybe Boolean -> Maybe Booleantrinot(mp) = mp »= λp -> (eta ∘ not) p可以看出来codice_1类型