Candidates for monoid

No candidates exist for monoid. Upload one for this or another package?