opmonoidal functors lift comonoids