duoid-graded monoidal monad

Tags: duoidal category, monoidal monad.