===> Cleaning for hs-commutative-semigroups-0.2nb1