{i : Type u} →
  {b : Type v} →
    ((Lean.Doc.Inline i → Lean.Doc.MarkdownM Unit) →
        (Lean.Doc.Block i b → Lean.Doc.MarkdownM Unit) → b → Array (Lean.Doc.Block i b) → Lean.Doc.MarkdownM Unit) →
      Lean.Doc.MarkdownBlock i b