[Haskell] ANN: monadic probabilistic functional programing