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