Выражение лямбда-исчисления, реализующее применение функции

Я только что нашел следующее выражение лямбда-исчисления:

(((λ f . (λ x . (f x))) (λ a . a)) (λ b . b))

Итак, это функция, которая принимает аргумент f и возвращает другую функцию, которая принимает аргумент x и выдает результат применения x к f. Результатом вышеприведенного выражения будет (λ b . b).

Это напоминает мне о частичном применении и курринге, однако именно применение функции "изнутри" (f x) вызвало мой интерес.

Есть ли более глубокий теоретический смысл в этом выражении?