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