MAYBE
MAYBE
TRS:
 {
   app(app(app(curry(), f), x), y) -> app(app(f, x), y),
  app(app(plus(), app(s(), x)), y) -> app(s(), app(app(plus(), x), y)),
          app(app(plus(), 0()), y) -> y,
                             add() -> app(curry(), plus())
 }
 Fail