Monoid package:first-class-families

Semigroups and monoids.