StackOverflow 文件 Haskell Language 教程 分類理論 分類理論 類別理論作為組織抽象的系統 Haskell 型別作為一個類別 類別的定義 Hask 中的型別產品 Hask 中的型別的副產品 Haskell 在範疇理論中的應用 類別理論作為組織抽象的系統