A library for probabilistic programming using algebraic effects. The emphasis is on modular and reusable definitions of probabilistic models, and also compositional implementation of model execution (inference) in terms of effect handlers.