λf.(λx.f(xx))(λx.f(xx))

^f.(^x.f(xx))(^x.f(xx))

びみょー