面向类别的挑战者挑战 我为Bartosz Milewski的惊人著作“程序员类别理论”提供的解决方案