{m : Type → Type} →
  [Monad m] →
    [Lean.MonadMCtx m] →
      Array Lean.Expr →
        Array Lean.FVarId →
          Array Lean.FVarId → Array Lean.Elab.Term.LetRecToLift → m Lean.Elab.Term.MutualClosure.FreeVarMap