composition of monoidal functors is monoidal