Test.Validity.Monoid
monoidSpecOnValid
monoidSpec
monoidSpecOnArbitrary
monoidSpecOnGen