app D t 1 app D constant 0 app D app app + x y app app + app D x app D y app D app app * x y app app + app app * y app D x app app * x app D y app D app app - x y app app - app D x app D y 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 app filter f nil nil app app filter f app app cons x xs app app app app filter2 app f x f x xs app app app app filter2 true f x xs app app cons x app app filter f xs app app app app filter2 false f x xs app app filter f xs app 2 D 0 t 0 1 0 constant 0 0 0 + 0 * 0 - 0 map 0 nil 0 cons 0 filter 0 filter2 0 true 0 false 0 FULL ./TRS/currying/D33/08.trs