monoidmap-0.0.1.3: Monoidal map type

Monoidal map type with support for semigroup and monoid subclasses.