The Distribution Monad