Add probability monad