(define (f arg) body)

Not-abstracted is

(define f (lambda (arg) body))