StackOverflow 文档 Haskell Language 教程 分类理论 分类理论 类别理论作为组织抽象的系统 Haskell 类型作为一个类别 类别的定义 Hask 中的类型产品 Hask 中的类型的副产品 Haskell 在范畴理论中的应用 类别理论作为组织抽象的系统