Interlude: What is a Context?

A context C[@] is an expression “with a hole” @.

E.g. C[@] = list (@ `cat` zs)

We can “fill the hole” with an expression.

C[xs `cat` ys] = list ((xs `cat` ys) `cat` zs)