parseRe :: String -> (AST, String)
parseRe str
   | null rest = (ast, [])
   | head rest == '+' = (Plus ast ast2, rest2)
   | otherwise (ast, rest)
  where
    (ast, rest) = parseSq str
    (ast2, rest2) = parseRe (tail rest)