monoidmap

Monoidal map type with support for semigroup and monoid subclasses.