Data.Lambda.Random.PlainSystem
data PlainSystem a
boltzmannSystem
data PlainSampler a b
boltzmannSampler
rejectionSampler