let two = λx. λy. x (x y)
in two two