Run the given monoid/semigroup instances through their respective typeclass law tests.
An arbitrary for the underlying type A.
A
Equivalence for the underlying type A.
Optional
Optional runtime fast-check parameters.
fast-check
Named list of Monoid instances to test in the form of an object where the keys are the instances names and the values the instances themselves.
Monoid
Run the given monoid/semigroup instances through their respective typeclass law tests.