list-opmonoidal-comonad