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