4.3.3 积与和作为函子