{-# htermination showSigned :: (Int -> (String -> String)) -> Int -> Int -> String -> String #-}