SICP по-русски

Смысл процедуры f заключается в том, что она вызывает процедуру, переданную ей как параметр, с аргументом 2. Таким образом область допустимых значений аргумента функции f - множество всех одноаргументных функций, которые нормально воспринимают значение аргумента, равное 2.

Сама функция f явно не удовлетворяет этому условию (принимает не числовой аргумент, а функцию). То есть вызов f для самой себя приведет к ошибке на этапе вычисления (будет попытка вычислить (2 2), а в этой комбинации операнд (первая двойка) некорректен).