Bayes' rule in Haskell (2007)