app intlist nil nil app intlist app app cons x y app app cons app s x app intlist y app app int 0 0 app app cons 0 nil app app int 0 app s y app app cons 0 app app int app s 0 app s y app app int app s x 0 nil app app int app s x app s y app intlist app app int x 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 intlist 0 nil 0 cons 0 s 0 int 0 0 0 map 0 filter 0 filter2 0 true 0 false 0 INNERMOST ./TRS/currying/AG01/#4.24.trs