let expression
infinite lists
partial application
pass 1 and add1
not null
simple zip and foldr