(\a x . x) ((\z . z z) (\z . z z))