上就自动继承codice_79。 出于历史原因，在Haskell中这个codice_79转而叫做codice_81。单子的第一个变换实际上同于来自Kleisli三元组的codice_9，但是更密切的服从结构的层级，结果是codice_9特征化一个应用式函子，这是在单子和基本函子之间的中间结构。在应用式的上下文中，codice_9有时被称为codice_85，但是这仍是相同的函数。在这个构造中有不同的地方是定律codice_9必须满足；因为codice_19未定义，这个约束转而依据codice_79给出：