YES
TRS:
 {app(app(apply(), f), x) -> app(f, x)}
 RUF:
  Strict:
   {}
  Weak:
   {}
  Qed