{-# htermination showList :: [Bool] -> String -> String #-}