Выдержка из книги
Филд А.N.
Функциональное программирование
При первом чтении часто очень тяжело увидеть, что в действительности происходит в процессе абстрагирования и позднее, когда результирующие комбинаторные выражения применяются к аргументам. Существует однако интуитивная интерпретация правил редукции при применении фиксированных комбинаторов, которая служит не только объяснению того, что достигается с помощью комбинаторов, но также естественным образом предлагает альтернативное и более эффективное представление комбинаторных выражений.