foldr.idx impl