{-# htermination readSigned :: (String -> [(Int,String)]) -> (String -> [(Int,String)]) #-}