声明属性

最简单的是，属性是一个返回 Bool 的函数。

prop_reverseDoesNotChangeLength xs = length (reverse xs) == length xs

属性声明程序的高级不变量。QuickCheck 测试运行器将使用 100 个随机输入评估该功能，并检查结果是否始终为 True。

按照惯例，属性函数的名称以 prop_ 开头。