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 app 2 fmap 0 fnil 0 nil 0 fcons 0 cons 0 FULL ./TRS/higher-order/Lifantsev/Ex4MapList.trs