es8

     ((\x.(\y.(\z.((xy)(xz)))))(\x.(\y.x)))