An embedded DSL for probabilistic programming, based on sampling functions.