cats是scala的一个新的函数式编程工具库，其设计原理基本继承了scalaz：大家都是haskell typeclass的scala版实现。当然，cats在scalaz的基础上从实现细节、库组织结构和调用方式上进行了一些优化，所以对用户来说：cats的基础数据类型、数据结构在功能上与scalaz是大致相同的，可能有一些语法上的变化。与scalaz著名抽象、复杂的语法表现形式相比，cats的语法可能更形象、简单直白。在scalaz的学习过程中，我们了解到所谓函数式编程就是monadic Programming：即用monad这样的数据类型来构建程序。而实际可行的monadic programming就是用Free-Monad编程了。因为Free-Monad程序是真正可运行的，或者说是可以实现安全运行的，因为它可以保证在固定的堆栈内实现无限运算。我们知道：函数式编程模式的运行方式以递归算法为主，flatMap函数本身就是一种递归算法。这就预示着monadic programming很容易造成堆栈溢出问题（StackOverflowError）。当我们把普通的泛函类型F[A]升格成Free-Monad后就能充分利用Free-Monad安全运算能力来构建实际可运行的程序了。由于我们在前面已经详细的了解了scalaz的大部分typeclass，包括Free，对cats的讨论就从Free开始，聚焦在cats.Free编程模式方面。同时，我们可以在使用cats.Free的过程中对cats的其它数据类型进行补充了解。
cats.Free的类型款式如下：
sealed abstract class Free[S[_], A] extends Product with Serializable {...}S是个高阶类，就是一种函数式运算。值得注意的是：现在S不需要是个Functor了。因为Free的一个实例Suspend类型是这样的：
/** Suspend the computation with the given suspension. */ private final case class Suspend[S[_], A](a: S[A]) extends Free[S, A]
延伸阅读
学习是年轻人改变自己的最好方式