Test.Validity.Relations.Reflexivity
reflexiveOnElem
reflexivityOnGen
reflexivityOnValid
reflexivity
reflexivityOnArbitrary