Candidates for partial-semigroup

No candidates exist for partial-semigroup. Upload one for this or another package?