Run the given Semigroup instance through the Semigroup 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 semigroup under test.
Optional suffix will be added to description() block label.
description()
Run the given Semigroup instance through the Semigroup typeclass laws tests.