invariant                : OK, 100 tests.
all                      : OK, 100 tests.
any                      : OK, 100 tests.
append                   : OK, 100 tests.
compare                  : OK, 100 tests.
concat                   : OK, 100 tests.
cons                     : OK, 100 tests.
eq                       : OK, 100 tests.
filter                   : OK, 100 tests.
find                     : OK, 100 tests.
findIndex                : OK, 100 tests.
findIndices              : OK, 100 tests.
foldl                    : OK, 100 tests.
foldl'                   : OK, 100 tests.
foldl1                   : OK, 100 tests.
foldl1'                  : OK, 100 tests.
foldr                    : OK, 100 tests.
foldr1                   : OK, 100 tests.
mapAccumL                : OK, 100 tests.
unfoldr                  : OK, 100 tests.
head                     : OK, 100 tests.
init                     : OK, 100 tests.
isPrefixOf               : OK, 100 tests.
last                     : OK, 100 tests.
length                   : OK, 100 tests.
map                      : OK, 100 tests.
maximum                  : OK, 100 tests.
minimum                  : OK, 100 tests.
null                     : OK, 100 tests.
reverse                  : OK, 100 tests.
snoc                     : OK, 100 tests.
tail                     : OK, 100 tests.
transpose                : OK, 100 tests.
replicate                : OK, 100 tests.
take                     : OK, 100 tests.
drop                     : OK, 100 tests.
splitAt                  : OK, 100 tests.
takeWhile                : OK, 100 tests.
dropWhile                : OK, 100 tests.
break                    : OK, 100 tests.
span                     : OK, 100 tests.
group                    : OK, 100 tests.
inits                    : OK, 100 tests.
tails                    : OK, 100 tests.
elem                     : OK, 100 tests.
notElem                  : OK, 100 tests.
lines                    : OK, 100 tests.
elemIndex                : OK, 100 tests.
elemIndices              : OK, 100 tests.
all                      : OK, 100 tests.
any                      : OK, 100 tests.
append                   : OK, 100 tests.
compare                  : OK, 100 tests.
concat                   : OK, 100 tests.
cons                     : OK, 100 tests.
eq                       : OK, 100 tests.
filter                   : OK, 100 tests.
find                     : OK, 100 tests.
findIndex                : OK, 100 tests.
findIndices              : OK, 100 tests.
foldl                    : OK, 100 tests.
foldl'                   : OK, 100 tests.
foldl1                   : OK, 100 tests.
foldl1'                  : OK, 100 tests.
foldr                    : OK, 100 tests.
foldr1                   : OK, 100 tests.
mapAccumL                : OK, 100 tests.
unfoldr                  : OK, 100 tests.
head                     : OK, 100 tests.
init                     : OK, 100 tests.
isPrefixOf               : OK, 100 tests.
last                     : OK, 100 tests.
length                   : OK, 100 tests.
readInt                  : OK, 100 tests.
lines                    : OK, 100 tests.
map                      : OK, 100 tests.
maximum                  : OK, 100 tests.
minimum                  : OK, 100 tests.
null                     : OK, 100 tests.
reverse                  : OK, 100 tests.
snoc                     : OK, 100 tests.
tail                     : OK, 100 tests.
scanl                    : OK, 100 tests.
transpose                : OK, 100 tests.
replicate                : OK, 100 tests.
take                     : OK, 100 tests.
drop                     : OK, 100 tests.
splitAt                  : OK, 100 tests.
takeWhile                : OK, 100 tests.
dropWhile                : OK, 100 tests.
break                    : OK, 100 tests.
span                     : OK, 100 tests.
split                    : OK, 100 tests.
count                    : OK, 100 tests.
group                    : OK, 100 tests.
inits                    : OK, 100 tests.
tails                    : OK, 100 tests.
elem                     : OK, 100 tests.
notElem                  : OK, 100 tests.
elemIndex                : OK, 100 tests.
elemIndices              : OK, 100 tests.
all                      : OK, 100 tests.
any                      : OK, 100 tests.
append                   : OK, 100 tests.
compare                  : OK, 100 tests.
concat                   : OK, 100 tests.
cons                     : OK, 100 tests.
eq                       : OK, 100 tests.
filter                   : OK, 100 tests.
find                     : OK, 100 tests.
findIndex                : OK, 100 tests.
findIndices              : OK, 100 tests.
foldl                    : OK, 100 tests.
foldl'                   : OK, 100 tests.
foldl1                   : OK, 100 tests.
foldl1'                  : OK, 100 tests.
foldr1                   : OK, 100 tests.
foldr                    : OK, 100 tests.
mapAccumL                : OK, 100 tests.
mapAccumR                : OK, 100 tests.
unfoldr                  : OK, 100 tests.
scanl                    : OK, 100 tests.
scanl1                   : OK, 100 tests.
scanr                    : OK, 100 tests.
scanr1                   : OK, 100 tests.
head                     : OK, 100 tests.
init                     : OK, 100 tests.
last                     : OK, 100 tests.
maximum                  : OK, 100 tests.
minimum                  : OK, 100 tests.
tail                     : OK, 100 tests.
isPrefixOf               : OK, 100 tests.
length                   : OK, 100 tests.
map                      : OK, 100 tests.
null                     : OK, 100 tests.
reverse                  : OK, 100 tests.
snoc                     : OK, 100 tests.
transpose                : OK, 100 tests.
replicate                : OK, 100 tests.
take                     : OK, 100 tests.
drop                     : OK, 100 tests.
splitAt                  : OK, 100 tests.
takeWhile                : OK, 100 tests.
dropWhile                : OK, 100 tests.
break                    : OK, 100 tests.
span                     : OK, 100 tests.
group                    : OK, 100 tests.
inits                    : OK, 100 tests.
tails                    : OK, 100 tests.
elem                     : OK, 100 tests.
notElem                  : OK, 100 tests.
lines                    : OK, 100 tests.
elemIndex                : OK, 100 tests.
elemIndices              : OK, 100 tests.
lazy loop/loop fusion    : OK, 100 tests.
loop/loop fusion         : OK, 100 tests.
loop/loop wrapper elim   : OK, 100 tests.
sequence association     : OK, 100 tests.
up/up         loop fusion: OK, 100 tests.
down/down     loop fusion: OK, 100 tests.
noAcc/noAcc   loop fusion: OK, 100 tests.
noAcc/up      loop fusion: OK, 100 tests.
up/noAcc      loop fusion: OK, 100 tests.
noAcc/down    loop fusion: OK, 100 tests.
down/noAcc    loop fusion: OK, 100 tests.
map/map       loop fusion: OK, 100 tests.
filter/filter loop fusion: OK, 100 tests.
map/filter    loop fusion: OK, 100 tests.
filter/map    loop fusion: OK, 100 tests.
map/noAcc     loop fusion: OK, 100 tests.
noAcc/map     loop fusion: OK, 100 tests.
map/up        loop fusion: OK, 100 tests.
up/map        loop fusion: OK, 100 tests.
map/down      loop fusion: OK, 100 tests.
down/map      loop fusion: OK, 100 tests.
filter/noAcc  loop fusion: OK, 100 tests.
noAcc/filter  loop fusion: OK, 100 tests.
filter/up     loop fusion: OK, 100 tests.
up/filter     loop fusion: OK, 100 tests.
filter/down   loop fusion: OK, 100 tests.
down/filter   loop fusion: OK, 100 tests.
length/loop   fusion     : OK, 100 tests.
length/loop   fusion     : OK, 100 tests.
length/loop   fusion     : OK, 100 tests.
length/loop   fusion     : OK, 100 tests.