@@ -109,15 +109,17 @@ prop_unfoldrN n m = (L.take n . L.unfoldr f) `eq` (unpack . T.unfoldrN n f)
109109 where f c | fromEnum c * 100 > m = Nothing
110110 | otherwise = Just (c, succ c)
111111
112+unpack2 = unpack *** unpack
113+
112114prop_take n = L.take n `eqP` (unpack . T.take n)
113115prop_drop n = L.drop n `eqP` (unpack . T.drop n)
114116prop_takeWhile p = L.takeWhile p `eqP` (unpack . T.takeWhile p)
115117prop_takeWhileS p = L.takeWhile p `eqP` (unpack . unstream . S.takeWhile p . stream)
116118prop_dropWhile p = L.dropWhile p `eqP` (unpack . T.dropWhile p)
117119prop_dropWhileS p = L.dropWhile p `eqP` (unpack . unstream . S.dropWhile p . stream)
118−prop_splitAt n = L.splitAt n `eqP` ((unpack *** unpack) . T.splitAt n)
119−prop_span p = L.span p `eqP` ((unpack *** unpack) . T.span p)
120−prop_break p = L.break p `eqP` ((unpack *** unpack) . T.break p)
120+prop_splitAt n = L.splitAt n `eqP` (unpack2 . T.splitAt n)
121+prop_span p = L.span p `eqP` (unpack2 . T.span p)
122+prop_break p = L.break p `eqP` (unpack2 . T.break p)
121123prop_group = L.group `eqP` (map unpack . T.group)
122124prop_groupBy p = L.groupBy p `eqP` (map unpack . T.groupBy p)
123125prop_inits = L.inits `eqP` (map unpack . T.inits)