Numeric.Partial.Semigroup
class
PartialSemigroup
a