prop_mapChunksMPT f i =
  mk_prop_pt_id (mapChunksM (return . f)) (mapChunksMPT (return . f))
 where types = (i :: Itee)

-- would like to test with arbitrary iteratees, but we need to guarantee
-- that they will return a value from the stream, which isn't always true
-- for the arbitrary instance.
-- could use a newtype to make it work...
prop_mapChunksMPT f i =
  mk_prop_pt_id (mapChunksM (return . f)) (mapChunksMPT (return . f))
 where types = (i :: Itee)

-- would like to test with arbitrary iteratees, but we need to guarantee
-- that they will return a value from the stream, which isn't always true
-- for the arbitrary instance.
-- could use a newtype to make it work...
prop_mapChunksMPT f i =
  mk_prop_pt_id (mapChunksM (return . f)) (mapChunksMPT (return . f))
 where types = (i :: Itee)

-- would like to test with arbitrary iteratees, but we need to guarantee
-- that they will return a value from the stream, which isn't always true
-- for the arbitrary instance.
-- could use a newtype to make it work...