uth :: Dist Bool -> Probability
truth (D ((b,p):_)) = P (if b then p else 1-p)


truth :: Dist Bool -> Probability
truth (D ((b,p):_)) = P (if b then p else 1-p)
truth (D ((b,p):_)) = P (if b then p else 1-p)