A definition of a random variable's distribution. From the distribution an RVar can be created, or the distribution can be directly sampled. RVar in particular is an instance of Distribution, and so can be sampled.
Minimum instance definition: either rvar or sampleFrom.