maxsharing-1.0.2: examples/wadsworth-thesis-p172.l

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