具有类型约束的Haskell类型系列实例

具有类型约束的Haskell类型系列实例