{m : Type → Type u_1} →
  {α : Type} →
    [Monad m] →
      (Lean.Elab.ContextInfo → Lean.Elab.Info → Lean.PersistentArray Lean.Elab.InfoTree → m (Option α)) →
        Lean.Elab.InfoTree → m (List α)