[arethuza]

I think I'd start with, "Let's define two combinators S and K..." ....

Fizz Buzz in combinatory logic, that would be quite entertaining.

[spc476]

It's been done: https://codon.com/programming-with-nothing