Candidates for polytropos-profunctors

No candidates exist for polytropos-profunctors. Upload one for this or another package?