\x y. x (\x y. x) (\z. z) !help !def A = \x y. y A A A !trace A A A A !pretty A A A A \x y. x (\x y. x) z !help !def A = \x y. x A A A A !trace A A A A A A A !pretty A A A A