; @origtpdbfilename ./TRS/higher-order/Lifantsev/Ex4MapList.trs
; @xtcfilename "./TRS_Standard/Applicative_05/Ex4MapList.xml"
(format TRS)
(fun app 2)
(fun fmap 0)
(fun fnil 0)
(fun nil 0)
(fun fcons 0)
(fun cons 0)
(rule (app (app fmap fnil) x) nil)
(rule (app (app fmap (app (app fcons f) t)) x) (app (app cons (app f x)) (app (app fmap t) x)))