Chapter 1 Introduction Cats 提供了非常丰富的函数式编程工具，并允许用户按需选用，其中大多数工具是以 type class 的形式提供的。 Type class 是源于 Haskell 的编程模式（programming pattern），它可以在不修改源码，且不使用继承的条件下，增强 已有代码 的功能。 本章将复习 type class 的概念，简单介绍 Cats，并学习两个 type class 的例子，即 Show 和 Eq。