4.5.4 多项式函子