adding probability monad