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