A probabilistic programming embedded DSL for Haskell