StackOverflow 文档 Haskell Language 教程 快速检查 快速检查 随机生成自定义类型的数据 使用 implication() 检查具有前置条件的属性 声明属性 检查单个属性 检查文件中的所有属性 限制测试数据的大小 随机生成自定义类型的数据