Model of baysig language in Haskell (minus estimate)