Haskell prototype of the system described in Trace Types and Denotational Semantics for Sound Programmable Inference in Probabilistic Languages.
Run stack ghci to start an interactive prompt
with definitions from TraceTypes and BasicExamples
available.