(define compose
    [F] -> F
    [F | Fs] -> (/. X ((compose Fs) (F X))))