Data.Lambda.Random.System
data Expr a
type System a
boltzmannSystem
data Sampler a b
boltzmannSampler
rejectionSampler