随机测试功能。QuickCheck是一个用于随机测试的Haskell库，允许描述函数的抽象，具有随机测试功能。