let epsilon = (\f.f(f(f a)))((\x.\y.y x)b)
in  epsilon