Test.PartialSemigroup

assoc