Candidates for papa-semigroupoids-implement

No candidates exist for papa-semigroupoids-implement. Upload one for this or another package?