Composable probability monads in Haskell.