From probability monads to commutative effectuses - Jacobs, Bart (Journal of logical and algebraic methods in programming, 2018)