\f . f ((\x . x x) (\x . x x))