(define map-c ; TYPE: (-> ((-> (S) T)) ; (-> ((list S)) (list T))) (lambda (f) ; ENSURES: (result ls) is the list of ; results of applying f to items of ls (lambda (ls) (if (null? ls) '() (cons (f (car ls)) ((map-c f) (cdr ls)))))))