An arbitrary for the underlying type A
.
Equivalence for the underlying type A
.
Optional
parameters: ParameterOverridesOptional runtime fast-check
parameters.
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.
Run the given monoid/semigroup instances through their respective typeclass law tests.