Lean.Compiler.LCNF.CtorInfo →
  Lean.FVarId →
    Lean.Compiler.LCNF.Code Lean.Compiler.LCNF.Purity.impure →
      Lean.Compiler.LCNF.ReuseM✝ (Lean.Compiler.LCNF.Code Lean.Compiler.LCNF.Purity.impure × Bool)