pred=\n.\f.\x.n(\g.\h.h(gf))(\u.x)(\u.u)

I forgot to throw away the rest of my noodle soup a few days ago. The result was not as gross as I expected. It resulted in an interesting structure: