FullSimplify[Exists[{Y}, Y == apply[combinator, Y]], ForAll[{x, y}, apply[apply[l, x], y] == apply[x, apply[y, y]]]]