The probability monad

Measures are a type constructor \mathbb{M}\operatorname{T}.