4.3 应用函子