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