{m : Type → Type} →
  {pu : Lean.Compiler.LCNF.Purity} →
    [MonadLiftT Lean.Compiler.LCNF.CompilerM m] →
      [Monad m] → (Lean.FVarId → m Lean.FVarId) → Lean.Compiler.LCNF.Code pu → m (Lean.Compiler.LCNF.Code pu)