A Convenient Category for Higher-Order Probability Theory