小函函子

嗯哼