Show derivation of the type to the following expression or prove that it has no type in Haskell:

\ x -> x (\ y -> (x y)).