3 ms·The person who implements Semigroup for a data type must ensure that the laws hold.by wereHamster 10y agoThe person who implements Semigroup for a data type must ensure that the laws hold.deleted 10y ago[deleted]haimez 10y agoWhich is where property based testing really shines. Still requires the implementer to be a good citizen and write those tests though.kristianp 10y agoAKA QuickCheck. https://en.wikipedia.org/wiki/QuickCheck https://en.wikipedia.org/wiki/QuickCheck