graded distribution monad

Tags: finitary distribution monad, graded monad on a monoid.