A probability distribution type layered on top of mwc-random.