scala高逼格库
shapeless scalaz cats zio
Scala   OO  FP
学术理论 工程应用
类型系统 Type System  各种流派的理论
泛型（参数多态） ADT 类型推导 形式系统（Formal System)

Scala Haskell

Type System
语言中描述数据的定义，以及各数据类型之间的相关性 
Effect System
语言中描述计算对于系统产生的作用，包括且不限于一般常说的副作用（side effect）

越完善（严谨）的类型系统和作用系统，越便于编译器在编译期查找并且推导系统的行为，减少在运行期出现不受管理的意外。


Shapeless
Generic ，类型同构，各种更严谨的类型结构如HList，Nat等

Cats/Scalaz
更接近Haskell的 Type class 定义，对Scala原生类型的一些补全，以及更严谨的类型结构如Eval，State

Cats Effect/Monix/Zio
为Cats/Scalaz的类型系统提供配套的作用系统
Zio算是在Scalaz-Effect的一个变种，希望能对更广泛的类型提供支持
因为它在坚守自己比较完备的作用系统的基础上做出了不少易用性的妥协