{m : Type → Type} →
  ({pu : Lean.Compiler.LCNF.Purity} →
      Lean.Compiler.LCNF.Code pu → (Lean.FVarId → m (Lean.Compiler.LCNF.Code pu)) → m (Lean.Compiler.LCNF.Code pu)) →
    Lean.Compiler.LCNF.MonadCodeBind m