Пытаемся выяснить, как отследить код для функции папки

Question

Я изо всех сил пытаюсь выяснить, как работают функции более высокого порядка, в частности, функции папок. Я пару раз запускал его через pythontutor , однако я не совсем понимаю, как правильно отследить код.

def fold(op, f, n):
    if n==0:
        return f(0)
    else:
        return op(f(n), fold(op, f, n-1))

fold(lambda x,y:x-y, x, 4)