algebird.zip,scala的代数鸟测试抽象代数