Candidates for repa-linear-algebra