fact: Definition parens (p : Box (Parser Chars ascii M A) n) : Parser Chars ascii M A n := between (char "(") (char ")") p.
imports: parseque(Category Induction Combinators Sized NEList Numbers) Coq(Ascii String) parseque(StringAsList) Coq(List)