purpose: (foldr f base (list x-1 ... x-n)) = (f x-1 ... (f x-n base))
Intermediate Student with Lambda Language