swap from Opmonoidal to Comonoidal for consistency