Function composition is associative