úÎ’   BProperties is a convenient way to express list of properties with  the same arity. =A labeled property includes a string label and an expression empty properties: properties= Properties [] [] [] to improve readability:  with= ($) Check a list of properties. 7 when a property is violated, a trace error is printed = at the end i return the first value, just like (flip trace)  must be used as opeator:   expression    properties   value tuple Example:  stringProperty=  "length" (\.(x, y)-> length (x++y)== length x + length y)   main= do  let s= "hello "  let s2= "world"  print $ s++ s2 ` ` stringProperty ``(s,s2)  print "that's all!"hIt is possible to check quickCheck style properties. The same example with a quickCheck style property: =quickCheckProperty x y= length (x++y)== length x + length y   main= do  let s= "hello "  let s2= "world"  print $ s++ s2 ` ` [Property "stringSumLength" $ uncurry quickCheckProperty] ``(s,s2)  print "that's all!"     properties-0.0.2Test.Properties PropertiesunarybinaryternaryProperty propertieswithverify