monoidmap-0.0.5.0: Monoidal map type

Monoidal map type with support for semigroup and monoid subclasses.