Candidates for either-semigroup

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