Numeric.Dimensions

data Evidence

withEvidence

sumEvs

(+!+)