Candidates for coercible-subtypes-profunctor

No candidates exist for coercible-subtypes-profunctor. Upload one for this or another package?