Termination w.r.t. Q of the given QTRS could not be shown:

(0) Obligation:

Q restricted rewrite system:
The TRS R consists of the following rules:

app(app(fmap, fnil), x) → nil
app(app(fmap, app(app(fcons, f), t)), x) → app(app(cons, app(f, x)), app(app(fmap, t), x))

Q is empty.