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