A monad which generalizes the probability monad to an arbitrary Semiring of probabilities - View it on GitHub