Test.Validity.Functions.Idempotence
idempotentOnGen
idempotentOnValid
idempotent
idempotentOnArbitrary