?) :: Event a -> Dist a -> Probability
(??) p = P . sumP . filter (p . fst) . unD


(??) :: Event a -> Dist a -> Probability
(??) p = P . sumP . filter (p . fst) . unD
(??) p = P . sumP . filter (p . fst) . unD