prop_mapChunksPT f i = mk_prop_pt_id (mapChunks f) (mapChunksPT f)
 where types = (i :: Itee)
prop_mapChunksPT f i = mk_prop_pt_id (mapChunks f) (mapChunksPT f)
 where types = (i :: Itee)
prop_mapChunksPT f i = mk_prop_pt_id (mapChunks f) (mapChunksPT f)
 where types = (i :: Itee)