x (mu f.\x.f x)
