Bayes update on subdistributions

Last updated Apr 23, 2024

• Subdistribution monad, Bayes theorem