Lawvere on probability distributions as a monad