Seems more proper to call it a `ProbabilityDistribution` type. It's a more general and intuitive way to handle the concept.