Run the given monoid instance through the Monoid typeclass laws tests.
An arbitrary for the underlying type A.
A
Equivalence for the underlying type A.
Optional
Optional runtime fast-check parameters.
fast-check
The monoid under test.
Optional suffix will be added to description() block label.
description()
Run the given monoid instance through the Monoid typeclass laws tests.