Candidates for dependent-monoidal-map