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