函子（Monad）新解：函子定义了一个类型（泛型）和建立在这个类型上的一组运算符

这组运算符和代数中的运算加减乘除运算符一样，符合一定的定律：结合律、（交换律）等；

函数式编程的核心（底层支持）就是这些类型和运算符的定义。

函子就是定义这些类型和运算符的（）。

运算符通常为单目运算？？运算符的被操作数是（高阶）数据，操作数是配置函数，操作本身是高阶函数；

本质是：结合函数式特点，对运算规则进行了重新的定义。