Variable monoSemigroupConst

monoSemigroup: SG.Semigroup<Mono> = ...

The semigroup used for vitest.testTypeclassLaws.