For any list of Person (ps) subtracting their ages from (sumAges ps) equals zero

testSumAges ps = foldl' (-) (sumAges ps) (age `map` ps) == 0

Oh?

Main> ourCheck testSumAges
  No instance for (Arbitrary Person)