{m : Type → Type} →
  {pu : Lean.Compiler.LCNF.Purity} →
    {t : Bool} →
      [MonadLiftT Lean.Compiler.LCNF.CompilerM m] →
        [Monad m] →
          [Lean.Compiler.LCNF.MonadFVarSubst m pu t] → Lean.Compiler.LCNF.Param pu → m (Lean.Compiler.LCNF.Param pu)