Numeric.Partial.Semigroup

class PartialSemigroup a