Std.HashMap Lean.FVarId (Lean.Compiler.LCNF.Param Lean.Compiler.LCNF.Purity.pure) →
  Std.HashMap Lean.FVarId (Lean.Compiler.LCNF.Param Lean.Compiler.LCNF.Purity.impure) →
    Std.HashMap Lean.FVarId (Lean.Compiler.LCNF.LetDecl Lean.Compiler.LCNF.Purity.pure) →
      Std.HashMap Lean.FVarId (Lean.Compiler.LCNF.LetDecl Lean.Compiler.LCNF.Purity.impure) →
        Std.HashMap Lean.FVarId (Lean.Compiler.LCNF.FunDecl Lean.Compiler.LCNF.Purity.pure) →
          Std.HashMap Lean.FVarId (Lean.Compiler.LCNF.FunDecl Lean.Compiler.LCNF.Purity.impure) →
            Lean.Compiler.LCNF.LCtx