@@ -1,4 +1,4 @@
1−{-# LANGUAGE FlexibleInstances #-}
1+{-# LANGUAGE FlexibleInstances, TypeSynonymInstances #-}
22{-# OPTIONS_GHC -fno-enable-rewrite-rules #-}
33
44import Test.QuickCheck
@@ -61,6 +61,11 @@ class Target t where
6161 packTChunkSize :: Int -> String -> t
6262 packTChunkSize _ = packT
6363
64+instance Target String where
65+ packT = id
66+ unpackT = id
67+ splitAtT = splitAt
68+
6469instance Target (S.Stream Char) where
6570 packT = S.streamList
6671 unpackT = S.unstreamList