1、基础类型转换为高阶类型（monad），以便使用函数式编程的特性：map、reduce，pipeline、业务组织、异步编程等；
2、高阶类型转化为基础类型：以便使用基础类型的态射（计算）功能。
3、高阶类型的内部转换（泛型类型转换）--类型关乎复合--以便业务的组织。
高阶类型起到桥接的功能。
函数式编程的类型系统开发的首要任务是搞清楚类型转换的规则：
高低层的双向转换（升降阶）；
同级类型间的计算转换。
