prop_list xs = runner1 (enumPure1Chunk xs stream2list) == xs
  where types = xs :: [Int]
prop_list xs = runner1 (enumPure1Chunk xs stream2list) == xs
  where types = xs :: [Int]
prop_list xs = runner1 (enumPure1Chunk xs stream2list) == xs
  where types = xs :: [Int]