化的时候，这导致的结果是单子作为表示这些计算的结构。其他一些人以这个想法为基础并进行了推广，包括和Simon Peyton Jones，二者都参与了Haskell规定。特别是，Haskell直到v1.2一直使用有问题的“惰性流”模型来将I/O调和于惰性求值，然后切换到了更灵活的单子接口。Haskell社区继续将单子应用于函数式编程的很多问题中，使用Haskell工作的研究者最终将单子模式推广成广泛的结构层级，包括应用式函子和。首先，使用单子的编程很大程度上局限于Haskell及其派生者，但是由于函数