instance Opmonoidal Colimit