Effects and effect handlers for probabilistic programming