Before revision: The expectation monad is introduced abstractly via two composable adjunctions, but concretely cap- tures measures.
After revision: The expectation monad is introduced abstractly via two composable adjunctions, but concretely captures measures.