es4

libere
       |       |     |   | 
  (\x.(z(\z.((xyz)x))zx))x(\x.((\y.yy)(\z.zz)))
              | | |   |            ||     ||
legate