Array Lean.Compiler.LCNF.ToLCNF.Element →
  (_ : ℕ) ×' Lean.Compiler.LCNF.Code Lean.Compiler.LCNF.Purity.pure →
    Lean.Compiler.LCNF.CompilerM (Lean.Compiler.LCNF.Code Lean.Compiler.LCNF.Purity.pure)