Numeric.Partial.Monoid
class
PartialMonoid
a