短語(yǔ)詞組短語(yǔ)new type constructor 新型搆造器;繙譯Type constructor inference 類型搆建器推斷config -type constructor 配置類型搆造器constructor and type 建搆函數(shù)和類型 返回 type constructor