positive type function的意思|示意
美 / ˈpɔzitiv taip ˈfʌŋkʃən /
英 / ˈpɑzɪtɪv taɪp ˈfʌŋkʃən /
正型函数