(define compose ; TYPE: (b->c), (a->b) -> (a -> c) (lambda (f g) (lambda (x) (f (g x)))))