ProbabilityDistribution doesn't have to be a function

It can be a map. It's a map. It's a monad too. :o