<- parseQuanForm
  return $ foldr (Quantifier q) a vs

parseNegation = do
  n <- 
parseQuan = do
  (q, vs, a) <- parseQuanForm
  return $ foldr (Quantifier q) a vs
parseQuan = do
  (q, vs, a) <- parseQuanForm
  return $ foldr (Quantifier q) a vs