数学家最初在1950年代晚期公式化单子概念（起绰号为“标准构造”），而术语“monad”成为主导要归功于范畴学家桑德斯·麦克兰恩。但是，上述的使用bind定义的形式，最初由数学家在1965年描述，用来证明任何单子都可以特征化为在两个（协变）函子之间的伴随。开始于1980年代，单子模式的模煳概念在计算机科学社区中浮出水面。依据编程语言研究者，计算机科学家于1970年代和1980年代早期，在他讨论的价值的时候，预见到了它的一些方面，范畴论作为形式语义学的丰富来源，和在值和计算之间的类型区别。研究性语言，