I remember having memorised lambda calculus solving techniques to pass my CS exams on paper where the 2-forearm wide lines had to be wrapped multiple times.

And now, just like a decade ago, my eyes glaze over when I read about this.

I can easily reason about functions that return functions that return functions but this just completely goes over my head.