probability-0.2.5.2: Probabilistic Functional Programming