Semigroups and Laws

tips fp cats