{m : Type → Type} →
  [Monad m] →
    [Lean.MonadEnv m] →
      [Lean.MonadMCtx m] →
        [Lean.MonadOptions m] →
          [Lean.MonadResolveName m] →
            [Lean.MonadNameGenerator m] → [Lean.MonadFileMap m] → m Lean.Elab.CommandContextInfo