Success! Final stack:
  [(Lean.Doc.Syntax.ul
    "ul{"
    [(Lean.Doc.Syntax.li
      "*"
      [(Lean.Doc.Syntax.para
        "para{"
        [(Lean.Doc.Syntax.text (str "\"foo\""))]
        "}")])
     (Lean.Doc.Syntax.li
      "*"
      [(Lean.Doc.Syntax.para
        "para{"
        [(Lean.Doc.Syntax.text (str "\"bar\""))
         (Lean.Doc.Syntax.linebreak
          "line!"
          (str "\"\\n\""))]
        "}")])]
    "}")]
All input consumed.