λx→x λx→xλx→x x→xλx→xλ 4 '\955' λx→xλx→xλx→xλx→xλx→x '\955' 20 '\955' λ Tail: x→xλx→xλx→xλx→xλx→x Tail Tail: →xλx→xλx→xλx→xλx→x Cons: λλx→xλx→xλx→xλx→xλx→x Reverse: x→xλx→xλx→xλx→xλx→xλ [1, 2, 3, 4, 5] [5, 4, 3, 2, 1] [-9, -7, -5, -3, -1] [17, 15, 13, 11, 9, 7, 5, 3, 1] [19, 15, 11, 7, 3] [-2, 0, 2, 4] [1, 0, -1, -2] [3] [2] [4] [1] [] [] [] [] [1, 2, 3, 4, 5] [5, 4, 3, 2, 1] [5, 4, 3, 2, 1] [1, 3, 5] [5, 3, 1] [3] [2] [4] [1] [] [] [] [] [-1, -2, -3, -4, -5] [-2, 0, 2, 4] [1, 0, -1, -2] [3] [2] [4] [1] [] [] [] [] ['z', 'y', 'x'] ['g', 'e', 'c', 'a'] ['x', 'y', 'z'] ['a', 'c', 'e', 'g']