moand的编程学形式：一个（高阶）类型完成程序的组织。
将类型系统的转换与高阶函数进行了融合，相对于链式编程而言。
类型关乎复合
范畴论与箭头的复合有关。但是并非任意两个箭头都可以复合。一个箭头的目标对象必须与下一个箭头的源对象相同，这样的两个箭头方能复合。在编程中，我们将一个函数的返回结果传递给另一个函数。如果目标函数不能正确的解析源函数传递来的数据，程序就不会工作。首尾必须相连，方能实现复合。编程语言的类型系统越强，箭头的配合就越容易描述与检验。
链式编程的升级版。
<译> 类型与函数
https://segmentfault.com/a/1190000003888544