宣告屬性

最簡單的是，屬性是一個返回 Bool 的函式。

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

屬性宣告程式的高階不變數。QuickCheck 測試執行器將使用 100 個隨機輸入評估該功能，並檢查結果是否始終為 True。

按照慣例，屬性函式的名稱以 prop_ 開頭。