See [reverse.iter.cons].