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