LT -> Right (take l s, (drop l s, []))
GT -> Left "EOF in input in readBytes"
LT -> Right (take l s, (drop l s, []))
GT -> Left "EOF in input in readBytes"
allt = [q "Identity" prop_identity,
q "Lines identity" prop_linesidentity,
q "Lines list identity" prop_lineslistidentity,
q "readline" prop_readLine,
allt = [q "Identity" prop_identity,
q "Lines identity" prop_linesidentity,
q "Lines list identity" prop_lineslistidentity,
q "readline" prop_readLine,