... length
5
1
5
1
... sum
55
15
8
... mutually recursive even and odd predicates
1
0
0
1
... reverse
bar, 4, 3, foo, 1
foo
... member
1
0
1
... unique
5, 1, foo, 3, 4, bar
3, 2, 4, 1
1
foo