A Monte Carlo monad and transformer for Haskell.