composition of opmonoidal functors is opmonoidal