Haskell约束不小于实例头

Haskell约束不小于实例头