; @origtpdbfilename ./TRS/higher-order/AProVE_HO/TypeEx3.trs
; @xtcfilename "./TRS_Standard/Applicative_05/TypeEx3.xml"
(format TRS)
(fun app 2)
(fun |0| 0)
(fun hd 0)
(fun map 0)
(fun cons 0)
(fun nil 0)
(rule (app (app f |0|) n) (app (app hd (app (app map f) (app (app cons |0|) nil))) n))
(rule (app (app map f) nil) nil)
(rule (app (app map f) (app (app cons x) xs)) (app (app cons (app f x)) (app (app map f) xs)))