正型函数

function of positive type, positive type functi...