Implement algebraic procedures to compose functions.