@@ -42,6 +42,8 @@ listEquals eq stream list = do
4242 when (not $ stream `eq` list) $ liftIO $ putStrLn $
4343 "stream " <> show stream
4444 <> "\nlist " <> show list
45+ <> "\nstream length " <> show (length stream)
46+ <> "\nlist length " <> show (length list)
4547 <> "\nstream \\\\ list " <> show (stream \\ list)
4648 <> "\nlist \\\\ stream " <> show (list \\ stream)
4749 when (not $ stream `eq` list) $
@@ -49,6 +51,8 @@ listEquals eq stream list = do
4951 (counterexample $
5052 "stream " <> show stream
5153 <> "\nlist " <> show list
54+ <> "\nstream length " <> show (length stream)
55+ <> "\nlist length " <> show (length list)
5256 <> "\nstream \\\\ list " <> show (stream \\ list)
5357 <> "\nlist \\\\ stream " <> show (list \\ stream)
5458 )