Typeclass顾名思义：type的class，类型的分类，同Java中的interface类似。参看下例：
> :t (==)
(==) :: Eq a => a -> a -> Bool
=>之前的Eq a表示：a是type，Eq是typeclass，a是Eq的一个实例。
参考资料：
Typeclasses 101；
Why sum x y is of type (Num a) => a -> a -> a in Haskell?；
Explain Type Classes in Haskell。