circuits-inference

Effectful probability row: Prob (Kleisli m) instances, terminating traces on samplers, and premonoidal witnesses. Frontier §4 first slice.