a convenient category for higher - order probability theory .
Venture: a higher-order probabilistic programming platform with programmable inference