pairs
fib
fib
predecessor
subtraction
Y combinators