es29

  (\w.((\v.v)(xy)))z 
