app app f 0 n app app hd app app map f app app cons 0 nil n app app map f nil nil app app map f app app cons x xs app app cons app f x app app map f xs app 2 0 0 hd 0 map 0 cons 0 nil 0 FULL ./TRS/higher-order/AProVE_HO/TypeEx3.trs