compose

compose : ((Y-1 -> Z) ... (Y-N -> Y-N-1) (X-1 ... X-N -> Y-N) -> (X-1 ... X-N -> Z))

purpose:
to compose a sequence of procedures into a single procedure