{m : Type → Type} →
  {pu : outParam Lean.Compiler.LCNF.Purity} →
    {translator : outParam Bool} →
      [self : Lean.Compiler.LCNF.MonadFVarSubst m pu translator] → m (Lean.Compiler.LCNF.FVarSubst pu)