Template:ranges fold algos helper concepts

@3@ Equivalent to: