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