Bayes update with do-notation

Short piece of code that shows Bayes update in do-notation via the subdistribution monad.

• https://github.com/mroman42/bayes-do-notation.

Tags: Bayes update, Markov by split