Finite probability distributionsThis library defines a monad for combining finite probabilitydistributions.