foldr function associates the combining function to the right, i.e. the right-most elements of the data structure will be evaluated first. Let's take a look at its definition using recursion on lists:v is used to complete the folding once we get to the end of the list. Otherwise, we would be missing one last argument and get a curried function as a result instead of the value we are looking for. The case of a non-empty list is handled by simply applying the function f to the head of the list, and the recursively processed tail (as we know the function f takes in two arguments). Two simple examples of folding would be calculating the sum and product of a list:(+) is our combining function and 0 is the starting value. The application would look like this:foldr can be thought of as replacing the cons operator in the list with our combining function (in this case the addition operator):foldr:1 instead of 0 as we are dealing with multiplication and not addition. Also, note that we have taken xs out of the definition from both sides of the equation – this is called eta reduction and is used to simplify functions. It takes advantage of partial application of functions so that the function product now returns a curried version of foldr that takes in one final argument (the data structure) to be completely applied. It is important to note that the type of the function does not change in its reduced form.