オペランドの型が全部同じと仮定ということは、 isFoo || a + b + c + d + e + f + g >= 0 みたいなのはダメか。