Subdistribution monadLast updated Nov 21, 2022References:Kleisli Semantics for Conditioning in Probabilistic Programming (Cho, Jacobs, 2022) See also:Bayes update on subdistributions