短语词组短語new type constructor 新型搆造器;繙譯Type constructor inference 類型搆建器推斷config -type constructor 配置類型搆造器constructor and type 建搆函數和類型 返回 type constructor