λ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] [1, 2, 3, 4, 5] [5, 4, 3, 2, 1] [-1, -2, -3, -4, -5] [1, 3, 5]