Right fold of two-argument document-combining procedure f over list docs, with empty as the base case for '().