Wouldn't it be nicer if c++ have all binary and negate concepts in folding disjuction and conjunction form where applicable? [closed]