Numeric.Probability.Example.Diagnosis
type Dist a
data State
data Finding