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