Haskell弹性实例
示例
常规实例需要：
All instance types must be of the form (T a1 ... an) where a1 ... an are *distinct type variables*, and each type variable appears at most once in the instance head.
这意味着，例如，尽管您可以创建实例，[a]但不能专门为创建实例[Int]。FlexibleInstances放松一点：
class C a where -- works out of the box instance C [a] where -- requires FlexibleInstances instance C [Int] where