Numeric.Partial.Monoid

class PartialMonoid a