Comment by doctorpangloss

I entered expecting a cool implementation of Bayes through a simple if statement.

Instead, I saw Bayes' rule in Haskell, a form that's more idiosyncratic than probability expressions.

Simple is in the eye of the beholder. Perhaps making monads isn't actually making Bayes' rule simpler.