Semigroup package:checkers

Properties to check that the Semigroup a satisfies the semigroup properties. The argument value is ignored and is present only for its type.