prop_convId xs = runner1 (enumPure1Chunk xs convId) == xs
  where types = xs :: [Int]
prop_convId xs = runner1 (enumPure1Chunk xs convId) == xs
  where types = xs :: [Int]
prop_convId xs = runner1 (enumPure1Chunk xs convId) == xs
  where types = xs :: [Int]