arbitraryTs :: Gen Triples
arbitraryTs = do
  n <- sized (\_ -> choose (0, maxN))
  xs <- sequence [arbitrary | _ <- [1..n]]
  return xs
arbitraryTs :: Gen Triples
arbitraryTs = do
  n <- sized (\_ -> choose (0, maxN))
  xs <- sequence [arbitrary | _ <- [1..n]]
  return xs
arbitraryTs = do
  n <- sized (\_ -> choose (0, maxN))
  xs <- sequence [arbitrary | _ <- [1..n]]
  return xs