Test.Validity.Monad
monadSpecOnValid
monadSpec
monadSpecOnArbitrary
monadSpecOnGens