cats.zip,用于函数式编程的Lawslightweight、模块化和可扩展库。