Subdistribution monadLast updated Jun 27, 2024References:Kleisli Semantics for Conditioning in Probabilistic Programming (Cho, Jacobs, 2022) See also:partial Markov - Bayes update on subdistributions