graded comonad, monoid-graded monad graded monad on a duoid graded comonoid, graded monoid monoidally graded category duoidally graded monoidal category