MAYBE
MAYBE
TRS:
 {
  app(app(fmap(), app(app(fcons(), f), t)), x) ->
  app(app(cons(), app(f, x)), app(app(fmap(), t), x)),
                   app(app(fmap(), fnil()), x) -> nil()
 }
 DUP: We consider a duplicating system.
  Trs:
   {
    app(app(fmap(), app(app(fcons(), f), t)), x) ->
    app(app(cons(), app(f, x)), app(app(fmap(), t), x)),
                     app(app(fmap(), fnil()), x) -> nil()
   }
  Fail