Its Kleisli category is Stoch, the category of finitely-supported stochastic functions graded distribution monad Interacts with the maybe monad in three ways. Generalizes to the distribution monad over an effect monoid.