Try a really interesting expression, the Y combinator from lambda calculus:
lambda(f, apply(lambda(x, apply(f, apply(x, x))), lambda(x, apply(f, apply(x, x)))))