Haskell：通过class定义抽象数据类型

Haskell中定义数据类型基本都是使用data, type和newtype，其中data用来定义新类型。
然而有些时候也可以且有必要用定义类型类（使用class关键字）的方式定义数据类型。比如定义一个抽象数据类型和代数结构对应，则这个代数结构就是集合+封闭运算，用class定义这个代数结构，可以保证实现的实例肯定定义了封闭运算。
例如Semigroup里面的mappend，将特定类型实现为Semigroup需要实现mappend，从而保证在这个类型上定义的半群定义完整。