property-0.0.1: common properties
Test.Property.Relation
module Test.Property.Relation.Transitive
module Test.Property.Relation.Symmetric
module Test.Property.Relation.Reflexive
module Test.Property.Relation.Connex