a convenient category for higher - order probability theory .
Church: a language for generative models