monoidmap-0.0.4.2: Monoidal map type

Monoidal map type with support for semigroup and monoid subclasses.