@@ -259,13 +259,13 @@ prop_TL_scanr f z = L.scanr f z `eqP` (unpackS . TL.scanr f z)
259259prop_T_scanr1 f = L.scanr1 f `eqP` (unpackS . T.scanr1 f)
260260prop_TL_scanr1 f = L.scanr1 f `eqP` (unpackS . TL.scanr1 f)
261261
262−prop_T_mapAccumL f z = L.mapAccumL f z `eqP` (second unpackS . T.mapAccumL f z)
262+prop_T_mapAccumL f z = unsquare (L.mapAccumL f z `eqP` (second unpackS . T.mapAccumL f z))
263263 where types = f :: Int -> Char -> (Int,Char)
264−prop_TL_mapAccumL f z = L.mapAccumL f z `eqP` (second unpackS . TL.mapAccumL f z)
264+prop_TL_mapAccumL f z = unsquare (L.mapAccumL f z `eqP` (second unpackS . TL.mapAccumL f z))
265265 where types = f :: Int -> Char -> (Int,Char)
266−prop_T_mapAccumR f z = L.mapAccumR f z `eqP` (second unpackS . T.mapAccumR f z)
266+prop_T_mapAccumR f z = unsquare (L.mapAccumR f z `eqP` (second unpackS . T.mapAccumR f z))
267267 where types = f :: Int -> Char -> (Int,Char)
268−prop_TL_mapAccumR f z = L.mapAccumR f z `eqP` (second unpackS . TL.mapAccumR f z)
268+prop_TL_mapAccumR f z = unsquare (L.mapAccumR f z `eqP` (second unpackS . TL.mapAccumR f z))
269269 where types = f :: Int -> Char -> (Int,Char)
270270
271271prop_T_replicate n = L.replicate n `eq` (unpackS . T.replicate n)