TIL, if you define the distributions D(A) over a countable set A as the set of functions μ ∈ D(A) = A → [0,1] where ∑ a, μ(a) = 1, then D(A) is a monad where unit and bind are defined as follows.