A Monadic Probabilistic Language