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