Bayes update on subdistributions

Last updated Nov 21, 2022

• Subdistribution monad, Bayes theorem