prop_unfoldConvStreamPT f =
  mk_prop_pt_id (unfoldConvStream f' (0 :: Int)) (unfoldConvStreamPT f' 0)
 where f' x = fmap (f x,) getChunk
prop_unfoldConvStreamPT f =
  mk_prop_pt_id (unfoldConvStream f' (0 :: Int)) (unfoldConvStreamPT f' 0)
 where f' x = fmap (f x,) getChunk
prop_unfoldConvStreamPT f =
  mk_prop_pt_id (unfoldConvStream f' (0 :: Int)) (unfoldConvStreamPT f' 0)
 where f' x = fmap (f x,) getChunk