descent function
If a
recursive
function is of the form
f x = ... f (d x) ...
then d is known as the descent function.