(define compose F G X -> (F (G X)))

(((compose (+ 1)) (+ 2)) 3)  \ (Outputs 6) \